| toc | arm_hardware | cmake_plat | xcompiler_arg | platform | arch | virtualization | iommu | soc | cpu | Status | Contrib | Maintained | SPDX-License-Identifier | SPDX-FileCopyrightText |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
true |
true |
maaxboard |
-DAARCH64=1 |
Avnet MaaXBoard |
ARMv8A |
No |
No |
i.MX8MQ |
Cortex-A53 Quad 1.5 GHz |
Unverified |
[Capgemini Engineering](https://capgemini-engineering.com) |
[Capgemini Engineering](https://capgemini-engineering.com) |
CC-BY-SA-4.0 |
2022 seL4 Project a Series of LF Projects, LLC. |
{% include sel4test.md %}
Also -DAARCH32=1 is available.