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