QEMU RISC-V virtual platform
This is a simulation-only target for running the RISC-V version of seL4 on the QEMU simulator with the virt platform.
| Platform | QEMU RISC-V |
| Simulation platform | yes |
| Architecture | RV32GC, RV64IMAC |
| System-on-chip | virt |
| CPU | rv32, rv64 |
| seL4 virtualisation support | – |
| seL4 SMMU support | – |
| Verification status | N/A |
| seL4 CMake platform name | qemu-riscv-virt |
| Contributed by | Data61 |
| Maintained by | seL4 Foundation |
Supported Configurations
The values riscv64 and riscv32 are supported for KernelSel4Arch.
Running seL4 test
See the machine setup instructions for how to install build dependencies.
Checkout the sel4test project using repo as per seL4Test
repo init -u https://github.com/seL4/sel4test-manifest.git
repo sync
mkdir cbuild
cd cbuild
../init-build.sh -DPLATFORM=qemu-riscv-virt -DSIMULATION=1
# The default cmake wrapper sets up a default configuration for the target platform.
# To change individual settings, run `ccmake .` and change the configuration
# parameters to suit your needs.
ninja
./simulate
Generated binaries can be found in the images/ directory.