arm_hardware | cmake_plat | xcompiler_arg | platform | arch | virtualization | iommu | soc | cpu | Status | Contrib | Maintained | SPDX-License-Identifier | SPDX-FileCopyrightText |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
true |
exynos5422 |
-DAARCH32=1 |
OdroidXU4 |
ARMv7A |
ARM HYP |
limited System MMU |
Exynos5 |
Cortex-A15 |
Unverified |
Data61 |
seL4 Foundation |
CC-BY-SA-4.0 |
2020 seL4 Project a Series of LF Projects, LLC. |
This page provides info on the Odroid-XU4 Exynos 5 board
{% include sel4test.md %}