add zynqmp pmufw, update flake.lock, a bunch of stuff really #72
wucke13nix.yaml
on: pull_request
x86_64-linux---packages---guardonce
25s
x86_64-linux---packages---pyfdt
29s
x86_64-linux---packages---concurrencytest
25s
x86_64-linux---packages---microkit-sdk-bin
38s
x86_64-linux---packages---pyoxidizer
12m 26s
x86_64-linux---packages---uboot-aarch64-rpi4
58s
x86_64-linux---packages---capDL-tool
1m 37s
x86_64-linux---packages---crossStdenvAarch64
25s
x86_64-linux---packages---crossStdenvArmv7l
26s
x86_64-linux---packages---crossStdenvi686
41m 54s
x86_64-linux---packages---crossStdenvx86_64
26m 45s
x86_64-linux---packages---atf-aarch64-zcu102
5m 24s
x86_64-linux---packages---pmufw-mblaze-zcu102
21m 10s
x86_64-linux---packages---uboot-aarch64-zcu102
1m 21s
x86_64-linux---packages---uboot-armv7l-zynq-zc702
1m 18s
x86_64-linux---devShells---microkit
41s
x86_64-linux---packages---python-pyoxidizer
23s
x86_64-linux---packages---sd-aarch64-rpi4
22s
x86_64-linux---packages---seL4-test-aarch64-imx8mq-evk
1m 20s
x86_64-linux---packages---seL4-test-aarch64-rpi4-1GB
1m 12s
x86_64-linux---packages---seL4-test-aarch64-rpi4-2GB
1m 13s
x86_64-linux---packages---seL4-test-aarch64-rpi4-4GB
1m 20s
x86_64-linux---packages---seL4-test-aarch64-rpi4-8GB
1m 11s
x86_64-linux---packages---seL4-test-aarch64-zcu102
1m 22s
x86_64-linux---packages---seL4-test-armv7l-rpi3
1m 45s
x86_64-linux---packages---seL4-test-armv7l-zynq7000
1m 47s
x86_64-linux---packages---seL4-test-armv7l-zynq7000-simulate
1m 44s
x86_64-linux---packages---seL4-test-i686-ia32
1m 39s
x86_64-linux---packages---seL4-test-i686-ia32-simulate
1m 44s
x86_64-linux---packages---seL4-test-x86_64-x86_64
1m 37s
x86_64-linux---packages---seL4-test-x86_64-x86_64-simulate
1m 35s
x86_64-linux---packages---seL4-kernel-arm
32s
x86_64-linux---packages---seL4-kernel-arm-hyp
25m 37s
x86_64-linux---packages---seL4-kernel-arm-mcs
25m 20s
x86_64-linux---packages---seL4-kernel-riscv64
31s
x86_64-linux---packages---seL4-kernel-riscv64-mcs
31s
x86_64-linux---packages---seL4-kernel-x64
27m 11s
x86_64-linux---packages---seL4-moritz-fork-arm
36s
x86_64-linux---packages---seL4-moritz-fork-arm-hyp
25m 1s
x86_64-linux---packages---seL4-moritz-fork-arm-mcs
25m 40s
x86_64-linux---packages---seL4-moritz-fork-x64
27m 8s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-qemu-arm-virt
1h 52m
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx1
1h 50m
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx2
1h 51m
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-zcu102
1h 51m
x86_64-linux---packages---seL4-camkes-vm-examples-armv7l-exynos5422
1h 52m
x86_64-linux---devShells---default
1m 19s
Check on x86_64-linux
1m 16s