feat: add U-Boot drv for zynq-zc702 #35
nix.yaml
on: pull_request
π¨ x86_64-linux.guardonce
23s
π¨ x86_64-linux.pyfdt
23s
π¨ x86_64-linux.concurrencytest
25s
π¨ x86_64-linux.capDL-tool
24s
π¨ x86_64-linux.uboot-armv7l-zynq-zc702
25s
π§ͺ x86_64-linux
1m 35s
π¨ x86_64-linux.camkes-deps
26s
π¨ x86_64-linux.seL4-kernel-arm
30s
π¨ x86_64-linux.seL4-kernel-arm-hyp
24s
π¨ x86_64-linux.seL4-kernel-arm-mcs
23s
π¨ x86_64-linux.seL4-kernel-riscv64
35s
π¨ x86_64-linux.seL4-kernel-riscv64-mcs
25s
π¨ x86_64-linux.seL4-kernel-x64
24s
π¨ x86_64-linux.seL4-moritz-fork-arm
27s
π¨ x86_64-linux.seL4-moritz-fork-arm-hyp
24s
π¨ x86_64-linux.seL4-moritz-fork-arm-mcs
27s
π¨ x86_64-linux.seL4-moritz-fork-x64
27s
π¨ x86_64-linux.seL4-test-aarch64-imx8mq-evk
29s
π¨ x86_64-linux.seL4-test-aarch64-rpi4-1GB
26s
π¨ x86_64-linux.seL4-test-aarch64-rpi4-2GB
29s
π¨ x86_64-linux.seL4-test-aarch64-rpi4-4GB
26s
π¨ x86_64-linux.seL4-test-aarch64-rpi4-8GB
27s
π¨ x86_64-linux.seL4-test-aarch64-zcu102
30s
π¨ x86_64-linux.seL4-test-armv7l-rpi3
31s
π¨ x86_64-linux.seL4-test-armv7l-zynq7000
25s
π¨ x86_64-linux.seL4-test-armv7l-zynq7000-simulate
25s
π¨ x86_64-linux.seL4-test-i686-ia32
31s
π¨ x86_64-linux.seL4-test-i686-ia32-simulate
26s
π¨ x86_64-linux.seL4-test-x86_64-x86_64
26s
π¨ x86_64-linux.seL4-test-x86_64-x86_64-simulate
27s