build kernel also for aarch64

RWTH-OS · May 1, 2024 · 027ebd1 · 027ebd1
1 parent 801a0a1
commit 027ebd1
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.github/workflows/run.yml b/.github/workflows/run.yml
@@ -24,7 +24,7 @@ jobs:
       if: ${{ matrix.os == 'ubuntu-latest' }}
       run: |
         sudo apt-get update
-        sudo apt-get install qemu-system-x86
+        sudo apt-get install qemu-system-x86 qemu-system-aarch64
     - name: Install QEMU (macos)
       if: ${{ matrix.os == 'macos-latest' }}
       run: |
@@ -43,9 +43,12 @@ jobs:
       run: cargo --version
     - name: Install bootimage
       run: cargo install bootimage
-    - name: Build
+    - name: Build (x86_64)
       run:
          cargo build
+    - name: Build (aarch64)
+      run:
+        cargo build --target=aarch64-eduos.json
     - name: run (ubuntu)
       if: ${{ matrix.os == 'ubuntu-latest' }}
       run: ./test.sh