Skip to content

Deprecated platforms #313

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
lsf37 merged 3 commits into from
Dec 15, 2025
Merged

Deprecated platforms #313

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
e99885b
hw-info: add warning for unmaintained boards
lsf37 Dec 15, 2025
0f2b59b
hardware: declare Odroid-X unmaintained
lsf37 Dec 15, 2025
7253b13
hardware: standardise page for unmaintained boards
lsf37 Dec 15, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 0 additions & 5 deletions Hardware/HiKey/index.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
7 changes: 1 addition & 6 deletions Hardware/IF6410.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down
7 changes: 0 additions & 7 deletions Hardware/arndale.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
5 changes: 2 additions & 3 deletions Hardware/odroidx.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
---
archive: true
arm_hardware: true
cmake_plat: exynos4
xcompiler_arg: -DAARCH32=1
Expand All @@ -10,16 +11,14 @@ 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.
---

# Odroid-X

seL4 supports the Odroid-X Exynos4412 board.

{% include hw-info.html %}

 
Expand Down
5 changes: 5 additions & 0 deletions _includes/hw-info.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down