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 <[email protected]>
au-ts · Aug 7, 2024 · fc775ae · fc775ae
1 parent 9112aba
commit fc775ae
Showing 1 changed file with 4 additions and 4 deletions.
diff --git 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"