QEMU Arm virtual platform
This is a simulation-only target for running the Arm version of seL4 on the QEMU simulator with the virt platform.
| Platform | QEMU Arm Virt |
| Simulation platform | yes |
| Architecture | ARMv7A, ARMv8A |
| System-on-chip | virt |
| CPU | Multiple |
| seL4 virtualisation support | |
| seL4 SMMU support | – |
| Verification status | N/A |
| seL4 CMake platform name | qemu-arm-virt |
| Contributed by | Data61 |
| Maintained by | seL4 Foundation |
Supported Configurations
The default CPU for simulation on qemu-arm-virt is Cortex A53. If
KernelSel4Arch is set to aarch32 or arm_hyp, the default is Cortex A15.
Supported values for the optional build parameter ARM_CPU are: cortex-a7,
cortex-a15, cortex-a53, cortex-a57, and cortex-a72.
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-arm-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.