From e99885b54a333bd0fc92b1e1784bd5200c6f072b Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Mon, 15 Dec 2025 15:51:55 +1100 Subject: [PATCH 1/3] hw-info: add warning for unmaintained boards We expect "archive: true" to also be set for hardware pages of unmaintained boards, so we can keep the text short. Signed-off-by: Gerwin Klein --- _includes/hw-info.html | 5 +++++ 1 file changed, 5 insertions(+) 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 %} From 0f2b59b47ee425f9be6e036978a28dca010715c9 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Mon, 15 Dec 2025 15:53:43 +1100 Subject: [PATCH 2/3] hardware: declare Odroid-X unmaintained Implementing RFC-19 Signed-off-by: Gerwin Klein --- Hardware/odroidx.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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 %}   From 7253b1330dbd0db2a7375085b9273ae65820c316 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Mon, 15 Dec 2025 15:54:07 +1100 Subject: [PATCH 3/3] hardware: standardise page for unmaintained boards Remove intro sentences and old warnings, since hw-info will now show a standardised warning for unmaintained boards. Signed-off-by: Gerwin Klein --- Hardware/HiKey/index.md | 5 ----- Hardware/IF6410.md | 7 +------ Hardware/arndale.md | 7 ------- 3 files changed, 1 insertion(+), 18 deletions(-) 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