ci: add virtio-snd building

Signed-off-by: Ivan Velickovic <[email protected]>
au-ts · Aug 21, 2024 · 4295dc1 · 4295dc1
1 parent 9c35891
commit 4295dc1
Show file tree

Hide file tree

Showing 2 changed files with 30 additions and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -41,6 +41,10 @@ jobs:
         run: |
           wget https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-linux-x86-64.tar.gz
           tar xf microkit-sdk-1.4.1-linux-x86-64.tar.gz
+      - name: Install Nix
+        uses: cachix/install-nix-action@v25
+        with:
+          nix_path: nixpkgs=channel:nixos-unstable
       - name: Install dependencies (via apt)
         # 'expect' is only a dependency for CI testing
         run: sudo apt update && sudo apt install -y make clang lld llvm qemu-system-arm device-tree-compiler expect gcc-aarch64-linux-gnu
@@ -71,6 +75,10 @@ jobs:
         run: |
           wget https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-macos-x86-64.tar.gz
           tar xf microkit-sdk-1.4.1-macos-x86-64.tar.gz
+      - name: Install Nix
+        uses: cachix/install-nix-action@v25
+        with:
+          nix_path: nixpkgs=channel:nixos-unstable
       - name: Install dependencies (via Homebrew)
         # 'expect' is only a dependency for CI testing
         run: |

diff --git a/ci/examples.sh b/ci/examples.sh
@@ -101,6 +101,23 @@ build_virtio() {
         MICROKIT_SDK=${SDK_PATH}
 }
 
+build_virtio_snd() {
+    BOARD=$1
+    CONFIG=$2
+    echo "CI|INFO: building virtio sound example via Make with board: $BOARD and config: $CONFIG"
+    BUILD_DIR="${PWD}/build/examples/virtio-snd/make/${BOARD}/${CONFIG}"
+    mkdir -p ${BUILD_DIR}
+    pushd examples/virtio-snd
+    nix-shell
+    make -B \
+        BUILD_DIR=${BUILD_DIR} \
+        MICROKIT_CONFIG=${CONFIG} \
+        MICROKIT_BOARD=${BOARD} \
+        MICROKIT_SDK=${SDK_PATH}
+    exit
+    popd
+}
+
 simulate_zig() {
     echo "CI|INFO: simulating Zig example with config: $1"
     BUILD_DIR="${PWD}/build/examples/zig/qemu_virt_aarch64/${CONFIG}/${ZIG_OPTIMIZE}"
@@ -156,5 +173,10 @@ build_virtio "qemu_virt_aarch64" "release"
 # build_virtio "odroidc4" "debug"
 # build_virtio "odroidc4" "release"
 
+build_virtio_snd "qemu_virt_aarch64" "debug"
+build_virtio_snd "qemu_virt_aarch64" "release"
+build_virtio_snd "odroidc4" "debug"
+build_virtio_snd "odroidc4" "release"
+
 echo ""
 echo "CI|INFO: Passed all VMM tests"