From fc775ae44e104ea1f820a06573a7b9d13dfd1e45 Mon Sep 17 00:00:00 2001 From: Ivan Velickovic Date: Wed, 7 Aug 2024 11:39:14 +1000 Subject: [PATCH] ci: build virtIO example for QEMU There's an issue with Microkit 1.4.0 that affects the Odroid-C4. Signed-off-by: Ivan Velickovic --- ci/examples.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/ci/examples.sh b/ci/examples.sh index 296af3e7..cc4cad07 100755 --- a/ci/examples.sh +++ b/ci/examples.sh @@ -171,13 +171,13 @@ simulate_zig "release" "ReleaseSmall" # Linux-specific utilities not being available. # if [ "$(uname)" == "Linux" ]; then -# build_virtio_make "qemu_virt_aarch64" "debug" -# build_virtio_make "qemu_virt_aarch64" "release" +build_virtio_make "qemu_virt_aarch64" "debug" +build_virtio_make "qemu_virt_aarch64" "release" # build_virtio_make "odroidc4" "debug" # build_virtio_make "odroidc4" "release" -# build_virtio_zig "qemu_virt_aarch64" "debug" -# build_virtio_zig "qemu_virt_aarch64" "release" +build_virtio_zig "qemu_virt_aarch64" "debug" +build_virtio_zig "qemu_virt_aarch64" "release" # build_virtio_zig "odroidc4" "debug" # build_virtio_zig "odroidc4" "release"