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