FIX:ARMMMUInvocation: Invalid top-level PageTable error #146
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Test Kernel | |
| on: | |
| workflow_dispatch: | |
| push: | |
| jobs: | |
| test-build: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: trustworthysystems/sel4 | |
| volumes: | |
| - .:/code | |
| strategy: | |
| matrix: | |
| arch: [riscv64, aarch64] | |
| 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 gcc-${{ matrix.arch }}-linux-gnu | |
| - uses: actions-rust-lang/setup-rust-toolchain@v1 | |
| with: | |
| toolchain: nightly-2024-02-01 | |
| components: rust-src | |
| rustflags: | |
| - name: Make rel4_kernel | |
| run: cd rel4_kernel && make ARCH=${{ matrix.arch }} run | |
| - name: Build kernel | |
| run: cd kernel && cmake cmake -DCROSS_COMPILER_PREFIX=${{ matrix.arch }}-linux-gnu- -C kernel-settings-${{ matrix.arch }}.cmake -G Ninja -S . -B build | |
| - name: Build Kernel | |
| run: cd kernel && ninja -C build | |
| sel4-test: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: yfblock/rel4-dev:1.0-CI | |
| options: --user=root | |
| defaults: | |
| run: | |
| working-directory: ./sel4-test | |
| steps: | |
| - run: mkdir sel4-test | |
| working-directory: . | |
| - uses: actions-rust-lang/setup-rust-toolchain@v1 | |
| with: | |
| toolchain: nightly-2024-02-01 | |
| components: rust-src | |
| rustflags: | |
| target: riscv64imac-unknown-none-elf | |
| - name: Install qemu | |
| run: apt update && apt -y install qemu-system-misc | |
| - name: Clone Menifest && Sync repositories | |
| run: repo init -u https://github.com/rel4team/sel4test-manifest.git -b v1.0 && repo sync | |
| - run: cd kernel && git checkout mi_dev | |
| - run: cd rel4_kernel && git checkout ${{ github.sha }} | |
| - name: Build | |
| run: cd rel4_kernel && ./build.py | |
| - name: simulate | |
| run: cd rel4_kernel/build && ./simulate > 1.log | |
| timeout-minutes: 2 | |
| continue-on-error: true | |
| - run: cat rel4_kernel/build/1.log | |
| - name: Check Result | |
| run: rel4_kernel/.github/workflows/parse.py rel4_kernel/build/1.log |