| toc | arm_hardware | cmake_plat | xcompiler_arg | platform | arch | virtualization | iommu | soc | cpu | Status | Contrib | Maintained | SPDX-License-Identifier | SPDX-FileCopyrightText |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
true |
true |
imx8mm-evk |
-DAARCH64=1 |
Imx8mm |
ARMv8A, AArch64 |
No |
No |
IMX8MM-EVK |
Cortex-A53 Quad 1.8 GHz |
FC, unmaintained |
Data61 |
seL4 Foundation |
CC-BY-SA-4.0 |
2020 seL4 Project a Series of LF Projects, LLC. |
{% include sel4test.md %}