mmu: misaligned exceptions have higher priorities than PF #299
Workflow file for this run
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: CI | |
| on: | |
| push: | |
| branches: [ master ] | |
| pull_request: | |
| branches: [ master ] | |
| jobs: | |
| basic-tests: | |
| runs-on: nemu | |
| continue-on-error: false | |
| timeout-minutes: 10 | |
| name: nemu - Basics | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - name: Setup env | |
| run: | | |
| echo "NEMU_HOME=$GITHUB_WORKSPACE" >> $GITHUB_ENV | |
| echo "TEST_HOME=/nfs/home/share/ci-workloads/H-extension-tests" >> $GITHUB_ENV | |
| - name: Build NEMU interpreter | |
| run: | | |
| make riscv64-xs_defconfig | |
| make -j | |
| - name: test boot linux | |
| run: | | |
| git submodule update --init ready-to-run | |
| # test boot linux | |
| ./build/riscv64-nemu-interpreter -b ./ready-to-run/linux.bin | |
| make clean-all | |
| - name: test cpt taking and restoring | |
| run: | | |
| make riscv64-xs-novga_defconfig | |
| make -j | |
| cd resource/gcpt_restore && make && cd $NEMU_HOME | |
| # take cpt, and put cpt in output_top/test/linux | |
| bash ./scripts/take.sh | |
| # restore cpt | |
| bash ./scripts/restore.sh | |
| make clean-all | |
| - name: Build NEMU as difftest ref | |
| run: | | |
| make riscv64-xs-ref_defconfig | |
| make -j | |
| make clean-all | |
| - name: Build NEMU as difftest dual ref | |
| run: | | |
| make riscv64-dual-xs-ref_defconfig | |
| make -j | |
| make clean-all | |
| H-ext-tests: | |
| runs-on: nemu | |
| continue-on-error: false | |
| name: nemu - H-extension | |
| timeout-minutes: 60 | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - name: Setup env | |
| run: | | |
| echo "NEMU_HOME=$GITHUB_WORKSPACE" >> $GITHUB_ENV | |
| echo "TEST_HOME=/nfs/home/share/ci-workloads/H-extension-tests" >> $GITHUB_ENV | |
| - name: Build NEMU with H extension as difftest ref | |
| run: | | |
| make riscv64-rvh-ref_defconfig | |
| make clean-all | |
| - name: Run Xvisor | |
| run: | | |
| make riscv64-rvh_defconfig | |
| echo "#define CONFIG_DETERMINISTIC 1" >> ./include/generated/autoconf.h | |
| make -j | |
| ./build/riscv64-nemu-interpreter -b $TEST_HOME/xvisor | |
| make clean-all | |
| - name: Run KVM | |
| run: | | |
| make riscv64-rvh_defconfig | |
| make -j | |
| ./build/riscv64-nemu-interpreter -b $TEST_HOME/kvm | |
| make clean-all | |
| - name: Run Xvisor with DiffTest | |
| run: | | |
| make riscv64-rvh-diff-spike_defconfig | |
| echo "#define CONFIG_DETERMINISTIC 1" >> ./include/generated/autoconf.h | |
| make -j | |
| ./build/riscv64-nemu-interpreter -b -d $TEST_HOME/riscv64-spike-H-ext-so $TEST_HOME/xvisor | |
| make clean-all | |
| # - name: Run KVM with DiffTest | |
| # run: | | |
| # make riscv64-rvh-diff-spike_defconfig | |
| # make -j | |
| # ./build/riscv64-nemu-interpreter -b -d $TEST_HOME/riscv64-spike-H-ext-so $TEST_HOME/kvm | |
| # make clean-all |