| simulation_target | cmake_plat | xcompiler_arg | platform | arch | virtualization | iommu | soc | cpu | Status | Contrib | Maintained | SPDX-License-Identifier | SPDX-FileCopyrightText |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
true |
kzm |
-DAARCH32=1 |
KZM |
ARMv6A |
No |
No |
i.MX31 |
ARM1136J |
Unverified |
Data61 |
No |
CC-BY-SA-4.0 |
2020 seL4 Project a Series of LF Projects, LLC. |
seL4 previously supported the KZM-ARM11-01 until version 12.1.0, which can also be simulated in qemu. Support for this platform has since been removed
The KZM is deprecated, ARMv11 Hardware which was used for the original seL4 verification. The latest verification platform is the SabreLite.