seL4 supports the the KZM-ARM11-01, which can also be simulated in qemu.
The KZM is deprecated, ARMv11 Hardware which was used for the original seL4 verification. The latest verification platform is the SabreLite.
Checkout the sel4test project using repo as per seL4Test
repo init -u https://github.com/seL4/sel4test-manifest.git repo sync make kzm_simulation_release_xml_defconfig # The defconfig provides a set build configuration. You can use `make menuconfig` to customize build settings further if necessary. make make simulate-kzm
Generated binaries can be found in the