Merge pull request #9 from DLR-FT/dev/add-microkit #45
nix.yaml
on: push
x86_64-linux.concurrencytest
21s
x86_64-linux.uboot-aarch64-rpi4
18s
x86_64-linux.capDL-tool
19s
x86_64-linux.microkit-sdk-bin
20s
x86_64-linux.uboot-armv7l-zynq-zc702
20s
Check on x86_64-linux
1m 30s
x86_64-linux.sd-aarch64-rpi4
18s
x86_64-linux.camkes-deps
24s
x86_64-linux.seL4-kernel-arm
25s
x86_64-linux.seL4-kernel-arm-hyp
26s
x86_64-linux.seL4-kernel-arm-mcs
23s
x86_64-linux.seL4-kernel-riscv64
25s
x86_64-linux.seL4-kernel-riscv64-mcs
25s
x86_64-linux.seL4-kernel-x64
23s
x86_64-linux.seL4-moritz-fork-arm
25s
x86_64-linux.seL4-moritz-fork-arm-hyp
23s
x86_64-linux.seL4-moritz-fork-arm-mcs
23s
x86_64-linux.seL4-moritz-fork-x64
26s
x86_64-linux.seL4-test-aarch64-imx8mq-evk
25s
x86_64-linux.seL4-test-aarch64-rpi4-1GB
24s
x86_64-linux.seL4-test-aarch64-rpi4-2GB
26s
x86_64-linux.seL4-test-aarch64-rpi4-4GB
24s
x86_64-linux.seL4-test-aarch64-rpi4-8GB
25s
x86_64-linux.seL4-test-aarch64-zcu102
25s
x86_64-linux.seL4-test-armv7l-rpi3
27s
x86_64-linux.seL4-test-armv7l-zynq7000
25s
x86_64-linux.seL4-test-armv7l-zynq7000-simulate
24s
x86_64-linux.seL4-test-i686-ia32
27s
x86_64-linux.seL4-test-i686-ia32-simulate
24s
x86_64-linux.seL4-test-x86_64-x86_64
25s
x86_64-linux.seL4-test-x86_64-x86_64-simulate
25s