feat: add U-Boot drv for zynq-zc702 #31
nix.yaml
on: pull_request
Build x86_64-linux.guardonce
24s
Build x86_64-linux.pyfdt
22s
Build x86_64-linux.concurrencytest
23s
Build x86_64-linux.capDL-tool
21s
Run Nix checks on x86_64-linux
1m 32s
Build x86_64-linux.camkes-deps
29s
Build x86_64-linux.seL4-kernel-arm
26s
Build x86_64-linux.seL4-kernel-arm-hyp
28s
Build x86_64-linux.seL4-kernel-arm-mcs
29s
Build x86_64-linux.seL4-kernel-riscv64
33s
Build x86_64-linux.seL4-kernel-riscv64-mcs
33s
Build x86_64-linux.seL4-kernel-x64
28s
Build x86_64-linux.seL4-moritz-fork-arm
31s
Build x86_64-linux.seL4-moritz-fork-arm-hyp
29s
Build x86_64-linux.seL4-moritz-fork-arm-mcs
28s
Build x86_64-linux.seL4-moritz-fork-x64
28s
Build x86_64-linux.seL4-test-aarch64-imx8mq-evk
30s
Build x86_64-linux.seL4-test-aarch64-rpi4-1GB
29s
Build x86_64-linux.seL4-test-aarch64-rpi4-2GB
28s
Build x86_64-linux.seL4-test-aarch64-rpi4-4GB
28s
Build x86_64-linux.seL4-test-aarch64-rpi4-8GB
29s
Build x86_64-linux.seL4-test-aarch64-zcu102
30s
Build x86_64-linux.seL4-test-armv7a-rpi3
31s
Build x86_64-linux.seL4-test-armv7a-zynq7000
29s
Build x86_64-linux.seL4-test-armv7a-zynq7000-simulate
29s
Build x86_64-linux.seL4-test-i686-ia32
28s
Build x86_64-linux.seL4-test-i686-ia32-simulate
32s
Build x86_64-linux.seL4-test-x86_64-x86_64
28s
Build x86_64-linux.seL4-test-x86_64-x86_64-simulate
26s