Back to pull request #8

feat: add rpi4 uboot and sd-image #39

Sign in to view logs

Triggered via pull request April 10, 2024 21:10

wucke13

synchronize #8

dev/add-xilinx-uboot

Status Success

Total duration 34m 13s

Artifacts –

nix.yaml

on: pull_request

x86_64-linux.guardonce

x86_64-linux.pyfdt

x86_64-linux.concurrencytest

x86_64-linux.uboot-aarch64-rpi4

x86_64-linux.capDL-tool

x86_64-linux.uboot-armv7l-zynq-zc702

Check on x86_64-linux

x86_64-linux.seL4-deps

x86_64-linux.sd-aarch64-rpi4

x86_64-linux.camkes-deps

x86_64-linux.seL4-kernel-arm

x86_64-linux.seL4-kernel-arm-hyp

x86_64-linux.seL4-kernel-arm-mcs

x86_64-linux.seL4-kernel-riscv64

x86_64-linux.seL4-kernel-riscv64-mcs

x86_64-linux.seL4-kernel-x64

x86_64-linux.seL4-moritz-fork-arm

x86_64-linux.seL4-moritz-fork-arm-hyp

x86_64-linux.seL4-moritz-fork-arm-mcs

x86_64-linux.seL4-moritz-fork-x64

x86_64-linux.seL4-test-aarch64-imx8mq-evk

x86_64-linux.seL4-test-aarch64-rpi4-1GB

x86_64-linux.seL4-test-aarch64-rpi4-2GB

x86_64-linux.seL4-test-aarch64-rpi4-4GB

x86_64-linux.seL4-test-aarch64-rpi4-8GB

x86_64-linux.seL4-test-aarch64-zcu102

x86_64-linux.seL4-test-armv7l-rpi3

x86_64-linux.seL4-test-armv7l-zynq7000

x86_64-linux.seL4-test-armv7l-zynq7000-simulate

x86_64-linux.seL4-test-i686-ia32

x86_64-linux.seL4-test-i686-ia32-simulate

x86_64-linux.seL4-test-x86_64-x86_64

x86_64-linux.seL4-test-x86_64-x86_64-simulate