David Mak
460cbf4499
docs: Add section on untrusted substituters in Nix
...
Signed-off-by: David Mak <david.18.19.21@gmail.com>
2023-09-14 11:55:45 +08:00
Florian Agbuya
6df85478e4
scan: fix deprecated shuffle parameter in python 3.11
2023-09-13 12:24:44 +08:00
Jonathan Coates
5c85cef0c2
Allow indexing tuples in kernel code
...
This only allows for indexing with a constant value (e.g. x[0]).
While slices would be possible to implement, it's not clear how to
preserve type inference here. The current typing rule is:
Γ ⊢ x : τ Γ ⊢ a : Int Γ ⊢ b : Int
------------------------------------
Γ ⊢ x[a:b] : τ
However, tuples would require a different typing rule, and so we'd need
to defer type inference if τ is a tyvar. I'm not confident that this
won't change behaviour, so we leave as-is for now.
Signed-off-by: Jonathan Coates <jonathan.coates@oxionics.com>
2023-09-12 14:43:38 +01:00
linuswck
ccb140a929
Firmware: Add AD9117 DAC Startup Seq for shuttler
2023-09-11 15:07:47 +08:00
linuswck
7c8073c1ce
Shuttler: Add DAC Data Interface Gateware
...
- Add Parallel DDR Data Interface for DAC
- Add MMCM to generate phase shifted DDR Clk(45 degree phase shift by default)
- Connect dac_interface to Shuttler Module
2023-09-11 11:37:13 +08:00
Florian Agbuya
2f3329181c
flake: fix deprecated 'U' mode in outputcheck for python 3.11
2023-09-06 19:02:41 +08:00
Sebastien Bourdeauducq
1ec1ab0502
flake: update dependencies
2023-09-06 18:28:08 +08:00
linuswck
b49fb841ce
Firmware: EFC enables error led when going panic
2023-09-06 15:54:35 +08:00
Florian Agbuya
a619c9f3c2
almazny: fix minor doc formatting
2023-09-06 14:12:09 +08:00
Florian Agbuya
0188f31f3a
i2c: fix doc formatting
2023-09-05 17:00:27 +08:00
Florian Agbuya
4e770509db
almazny: fix doc formatting
2023-09-05 17:00:27 +08:00
occheung
7f63bb322d
disable DRTIO-over-EEM OSERDES until clock is stable
...
This asserts OOB reset on EFC.
2023-09-05 16:59:01 +08:00
occheung
5e5d671f4c
kasli: add invoke order comments
2023-09-04 12:05:45 +08:00
occheung
98904ef4c3
kasli: construct DRTIO-EEM modules before adding RTIO
2023-09-04 12:05:45 +08:00
Sebastien Bourdeauducq
73ac414912
flake: update dependencies
2023-09-03 10:59:52 +08:00
occheung
838cc80922
EFC: Implement OOB reset
2023-09-03 10:25:08 +08:00
Simon Renblad
904afe1632
tools: remove trim param
2023-09-01 20:06:19 +08:00
Simon Renblad
01d777c977
dashboard/datasets: fix CreateEditDialog datatype cast ( #2176 )
2023-09-01 13:59:17 +08:00
Sebastien Bourdeauducq
9556ca53de
flake: update dependencies
2023-08-31 17:43:28 +08:00
occheung
df99450faa
shuttler: add pdq-based waveform generator
2023-08-30 23:38:39 +08:00
Sebastien Bourdeauducq
1f58cd505c
flake: update dependencies
2023-08-30 15:39:46 +08:00
linuswck
ddb2b5e3a1
efc: add shuttler DAC parallel data interface pads
2023-08-30 10:25:39 +08:00
linuswck
b56f7e429a
drtio: rename drtio_transceiver to gt_drtio
2023-08-28 04:50:46 +00:00
Sebastien Bourdeauducq
3452d0c423
efc: use variant (expected everywhere else)
2023-08-25 15:52:40 +08:00
Sebastien Bourdeauducq
2139456f80
firmware: skip clock switch for efc
2023-08-25 15:06:42 +08:00
Sebastien Bourdeauducq
a2a780a3f2
firmware: fix compilation warning
2023-08-25 15:06:02 +08:00
Sebastien Bourdeauducq
3620358f12
flake: build efc firmware
2023-08-25 13:34:56 +08:00
Sebastien Bourdeauducq
72b0a17542
flake: register firmware outputs as hydra build products
2023-08-25 13:25:22 +08:00
Sebastien Bourdeauducq
f5cbca9c29
kasli: implement DRTIO-over-EEM
2023-08-25 12:47:33 +08:00
linuswck
737ff79ae7
eem: add efc
2023-08-25 12:01:17 +08:00
linuswck
dc97d3aee6
drtio-eem: CONFIG_EEM_TRANSCEIVERS -> CONFIG_EEM_DRTIO_COUNT
2023-08-25 11:49:39 +08:00
Sebastien Bourdeauducq
5d38db19d0
drtio-eem: remove unnecessary rtio_rx clock domain
2023-08-25 11:32:28 +08:00
Sebastien Bourdeauducq
9bee4b9697
flake: update dependencies
2023-08-25 11:13:33 +08:00
linuswck
cd22e42cb4
efc: add DRTIO virtual LEDs
...
- EFC Gateware: Add virtual_leds to rtio
- EFC Firmware: io_expander is kept being serviced to update
virtual_leds after init
2023-08-23 06:21:14 +00:00
linuswck
b7bac8c9d8
EFC: Add SPI Gateware for Shuttler DAC
...
- Verified by a functional test reading back the rev register
2023-08-23 09:04:16 +08:00
mwojcik
e8818c812c
satman: fix non-eem satellites failing to build
2023-08-22 16:32:59 +08:00
occheung
68dd0e029f
targets: add efc target
2023-08-10 00:02:01 +00:00
occheung
64d3f867a0
add DRTIO-over-EEM PHY
...
for EFC and perhaps Phaser
2023-08-09 23:59:40 +00:00
Sebastien Bourdeauducq
df662c4262
flake: update llvmlite
2023-08-07 23:02:23 +08:00
Sebastien Bourdeauducq
d2ac6aceb3
flake: update to Clang 14
2023-08-07 18:45:13 +08:00
Sebastien Bourdeauducq
9b94a09477
flake: update to LLVM 14
2023-08-07 18:28:44 +08:00
David Nadlinger
efbae51f9d
runtime: Validate ksupport ELF against hard-coded address ranges
...
This would have caught the reduction in header padding with LLD 14.
In theory, we could just get rid of the hard-coded kernel CPU address
ranges altogether and use ksupport.elf as the one source of truth; the
code already exists in dyld. The actual base address of the file would
still need to be forwarded to the kernel-side libunwind glue, though,
as there doesn't seem to be a clean way to get the equivalent of
KSUPPORT_HEADER_SIZE through the linker script. I have left this as-is
with the hard-coded KERNELCPU_… constants for now.
2023-08-07 10:10:38 +00:00
David Nadlinger
8acfa82586
ksupport: Remove unused sections from linker script [nfc]
...
We no longer build ksupport.ld in a position-independent fashion, and
the reference to the ld.bfd _GLOBAL_OFFSET_TABLE issue was just a
distraction
2023-08-07 10:10:38 +00:00
David Nadlinger
4d636ea593
Upgrade to LLD 14
...
Previous linker versions had inserted some zero padding bytes
between the ELF headers and the first section, but LLD 14 does
not anymore.
Hard-coding the offset of the first section in ksupport.elf
manually isn't ideal; we should probably parse the ELF program
headers instead when first setting up the kernel CPU.
2023-08-07 10:10:38 +00:00
Sebastien Bourdeauducq
3ed7e0ed06
flake: update dependencies
2023-08-07 17:52:42 +08:00
Simon Renblad
c4259dab18
applets.simple: add kwargs to AppletControlRPC ( #2155 )
...
Co-authored-by: Simon Renblad <srenblad@m-labs.hk>
2023-08-05 11:38:07 +08:00
mwojcik
c46ac6f87d
spi2: update set_config_mu doc
2023-08-04 09:22:57 +00:00
linuswck
758b97426a
Bootloader: SDRAM patch for EFC
...
- Modification of the CFG flag ensure EFC to initialize DDRPHY correctly
Note that Kasli and EFC share the same model of SDRAM
2023-08-02 02:18:45 +00:00
linuswck
c206e92f29
Bootloader: Remove kusddrphy support for SDRAM
...
- Delete all the kusddrphy cfg flags and related code
2023-08-02 02:18:20 +00:00
linuswck
cb547c8a46
efc: turn on power of FMC peripheral
...
- Add efc's io expander method
- Enable VADJ, P3V3_FMC in satman main during startup
2023-08-01 00:29:45 +00:00