test: test ci

.github/workflows/test.yaml

@@ -0,0 +1,37 @@
+name: Test Repository
+
+on:
+  workflow_dispatch:
+  push:
+
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    container:
+      image: trustworthysystems/sel4
+      volumes:
+        - .:/code
+    steps:
+    - uses: actions/checkout@v4
+      with:
+        path: rel4_kernel
+    - uses: actions/checkout@v4
+      with:
+        ref: 'mi_dev'
+        path: kernel
+        repository: rel4team/seL4_c_impl
+    - name: Install generaic tools
+      run: apt update && apt install -y wget
+    - name: setup rust toolchain
+      run: curl -sSf https://sh.rustup.rs | bash -s -- -y --no-modify-path \
+            --default-toolchain nightly-2024-02-01 \
+            --component rust-src
+    - name: Make rel4_kernel
+      run: cd rel4_kernel && make run
+    - name: Build kernel
+      run: cd kernel && cmake cmake -C kernel-settings-riscv64.cmake \                                     ✔
+        -G Ninja \
+        -S . \
+        -B build;
+    - name: Build Kernel
+      run: cd kernel && ninja -C build