diff --git a/Hardware/HiKey/index.md b/Hardware/HiKey/index.md
index 775d1a784a..95df759e37 100644
--- a/Hardware/HiKey/index.md
+++ b/Hardware/HiKey/index.md
@@ -19,11 +19,6 @@ SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 
 # HiKey
 
-{% include note.html kind="Warning" %}
-This board is currently not in the seL4 hardware regression test.
-These instructions may be out of date.
-{% include endnote.html %}
-
 {% include hw-info.html %}
 
 ## Pre-Requisites
diff --git a/Hardware/IF6410.md b/Hardware/IF6410.md
index bec27c38c3..723dd0f125 100644
--- a/Hardware/IF6410.md
+++ b/Hardware/IF6410.md
@@ -17,17 +17,12 @@ SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 
 # Inforce IFC6410
 
-{% include note.html kind="Warning" %}
-The seL4 port for this platform is unmaintained and the board is discontinued
-by the manufacturer.
-{% include endnote.html %}
+{% include hw-info.html %}
 
 This page contains info on building seL4 for the Inforce IFC6410 development
 board, running a Qualcomm Krait processor that is like an A15. Krait is a
 Qualcomm reimplementation of ARMv7A.
 
-{% include hw-info.html %}
-
 ## Building for the Inforce IFC6410
 
 To use default build config, use `inforce_` configurations.
diff --git a/Hardware/arndale.md b/Hardware/arndale.md
index 1458476f46..d0f0a7b10d 100644
--- a/Hardware/arndale.md
+++ b/Hardware/arndale.md
@@ -18,13 +18,6 @@ SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 
 # Arndale
 
-{% include note.html %}
-This board is not being regression tested, but has same SoC as
-[Odroid-XU](OdroidXU.html) (which is tested).
-{% include endnote.html %}
-
-seL4 supports the Arndale dual core A15 ARM development board.
-
 {% include hw-info.html %}
 
 ## Client setup
diff --git a/Hardware/odroidx.md b/Hardware/odroidx.md
index 128b7c4828..087a4b36ec 100644
--- a/Hardware/odroidx.md
+++ b/Hardware/odroidx.md
@@ -1,4 +1,5 @@
 ---
+archive: true
 arm_hardware: true
 cmake_plat: exynos4
 xcompiler_arg: -DAARCH32=1
@@ -10,7 +11,7 @@ soc: Exynos4412
 cpu: Cortex-A9
 verification: [ARM]
 Contrib: Data61
-Maintained: seL4 Foundation
+Maintained: False
 parent: /Hardware/
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
@@ -18,8 +19,6 @@ SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 
 # Odroid-X
 
-seL4 supports the Odroid-X Exynos4412 board.
-
 {% include hw-info.html %}
 
  
diff --git a/_includes/hw-info.html b/_includes/hw-info.html
index 3f86f7f301..30a6f55a66 100644
--- a/_includes/hw-info.html
+++ b/_includes/hw-info.html
@@ -2,6 +2,11 @@
 Copyright 2025 Proofcraft Pty Ltd
 SPDX-License-Identifier: CC-BY-SA-4.0
 {% endcomment -%}
+{% if page.Maintained == false %}
+{% include note.html kind="Important" %}
+This board is no longer supported by seL4.
+{% include endnote.html %}
+{% endif %}
 <table class="max-w-md">
 <tbody>
 <tr>