mark imx8mm and odroidxu4 as verified

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Sep 11, 2023 · 9a955e0 · 9a955e0
1 parent 3a0f883
commit 9a955e0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Hardware/OdroidXU4.md b/Hardware/OdroidXU4.md
@@ -8,7 +8,7 @@ virtualization: ARM HYP
 iommu: limited System MMU
 soc: Exynos5
 cpu: Cortex-A15
-Status: Unverified
+Status: FC with HYP, no System MMU
 Contrib: Data61
 Maintained: seL4 Foundation
 SPDX-License-Identifier: CC-BY-SA-4.0

diff --git a/Hardware/imx8mm.md b/Hardware/imx8mm.md
@@ -9,7 +9,7 @@ virtualization: "No"
 iommu: "No"
 soc: IMX8MM-EVK
 cpu: Cortex-A53 Quad 1.8 GHz
-Status: "FC, unmaintained"
+Status: "FC"
 Contrib: Data61
 Maintained: seL4 Foundation
 SPDX-License-Identifier: CC-BY-SA-4.0