GIC: fix wrong core target config when enabling interrupt
99ad16bfc1
fix wrong core target config
a43b8bf64e
mkbootimage: work around buffer overflow
91bae572f9
fix "unknown argument '-Wl,--undefined=AUDITABLE_VERSION_INFO'"
301f9236e5
switch to nixpkgs cargo-xbuild (with workaround for rust nonsense)
55b36ee37e
switch to new nixpkgs release
GlobalTimer: add support for starting timer with interrupt
GlobalTimer: add support for starting timer with interrupt
Shouldn't they be triggered instead from "DDMTD measurement completed" interrupts from the gateware?
Yes that will actually improve the better tracking performance for the PLLs, closing.
GlobalTimer: add support for starting timer with interrupt
GlobalTimer: add support for starting timer with interrupt
c5375f1523
WRPLL interrupt service routine
d6358ff730
WRPLL firmware
3d3ab8d3f9
WRPLL gateware
33cf924805
flake: update dependencies
f7887b14f6
flake: update dependencies
GlobalTimer: add support for starting timer with interrupt
Why would WRPLL need the timer?
It's for WRPLL interrupt service routine, so the main&helper PLL will run periodically using the timer interrupt instead of using timer.delay_us()
and…
GlobalTimer: add support for starting timer with interrupt
83d8b023fe
GlobalTimer: add timer IRQ to experiment
535c162034
GlobalTimer: add timer start with interrupt