diff --git a/Hardware/OdroidXU4.md b/Hardware/OdroidXU4.md
index bc836505ed..8ce9df7e51 100644
--- 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
index bb341822c1..d7ea1f3599 100644
--- 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