From 32a6ed13f584763be608b3b63bb573a7352d94f4 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Sat, 24 Oct 2026 19:31:27 +1100 Subject: [PATCH] Remove unsupported platforms Implement RFC-19 and remove the following platforms. Update the verified config list accordingly. - Arndale `exynos5250` - Odroid-X `exynos4` - HiKey `hikey` - Inforce IFC6410 `apq8064` Also update the project _data yml files where they mention features that have been removed because the corresponding platform has been removed. Introduce as last_release key for removed platform pages that indicates the last seL4 release that had support for the board. Signed-off-by: Gerwin Klein --- Hardware/GeneralARM.md | 2 +- Hardware/HiKey/index.md | 1 + Hardware/IF6410.md | 1 + Hardware/Kzm.md | 1 + Hardware/arndale.md | 1 + Hardware/odroidx.md | 1 + _data/projects/sel4.yml | 51 ++---------------- _data/projects/user_libs.yml | 67 ++---------------------- _includes/hw-info.html | 4 ++ package-lock.json | 24 --------- projects/sel4/verified-configurations.md | 39 +++++++------- 11 files changed, 36 insertions(+), 156 deletions(-) diff --git a/Hardware/GeneralARM.md b/Hardware/GeneralARM.md index 197de01a800..1abbbc776e2 100644 --- a/Hardware/GeneralARM.md +++ b/Hardware/GeneralARM.md @@ -44,7 +44,7 @@ Unless you change the load address, use these: | **Platform** | **Address** | | :------------ | :----------| -| Arndale, Odroid-X, Odroid-XU | 0x48000000| +| Odroid-XU | 0x48000000| | Sabre Lite |0x30000000| | Panda, Panda ES | 0x80000000| diff --git a/Hardware/HiKey/index.md b/Hardware/HiKey/index.md index 95df759e375..1bd9099c470 100644 --- a/Hardware/HiKey/index.md +++ b/Hardware/HiKey/index.md @@ -12,6 +12,7 @@ cpu: Cortex-A53 verification: [AARCH64] Contrib: Data61 Maintained: false +last_release: 16.0.0 parent: /Hardware/ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. diff --git a/Hardware/IF6410.md b/Hardware/IF6410.md index 723dd0f1253..7d382c70510 100644 --- a/Hardware/IF6410.md +++ b/Hardware/IF6410.md @@ -11,6 +11,7 @@ cpu: Krait (Cortex-A15 like) verification: [] Contrib: Data61 Maintained: false +last_release: 16.0.0 SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --- diff --git a/Hardware/Kzm.md b/Hardware/Kzm.md index dbd653fd8a1..efbdec6467c 100644 --- a/Hardware/Kzm.md +++ b/Hardware/Kzm.md @@ -13,6 +13,7 @@ cpu: ARM1136J verification: [] Contrib: Data61 Maintained: false +last_release: 12.1.0 SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --- diff --git a/Hardware/arndale.md b/Hardware/arndale.md index d0f0a7b10da..c041e97708e 100644 --- a/Hardware/arndale.md +++ b/Hardware/arndale.md @@ -12,6 +12,7 @@ cpu: Cortex-A15 verification: [ARM_HYP] Contrib: Data61 Maintained: false +last_release: 16.0.0 SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --- diff --git a/Hardware/odroidx.md b/Hardware/odroidx.md index 087a4b36ec7..6cf43dedeeb 100644 --- a/Hardware/odroidx.md +++ b/Hardware/odroidx.md @@ -12,6 +12,7 @@ cpu: Cortex-A9 verification: [ARM] Contrib: Data61 Maintained: False +last_release: 16.0.0 parent: /Hardware/ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. diff --git a/_data/projects/sel4.yml b/_data/projects/sel4.yml index 67c60df26dd..b24cb6794f2 100644 --- a/_data/projects/sel4.yml +++ b/_data/projects/sel4.yml @@ -156,10 +156,9 @@ configurations: - name: KernelDebugDisablePrefetchers display_name: "KernelDebugDisablePrefetchers" description: "On ia32 platforms, this option disables the L2 hardware prefetcher, the L2 adjacent \ - cache line prefetcher, the DCU prefetcher and the DCU IP prefetcher. On the cortex \ - a53 this disables the L1 Data prefetcher." + cache line prefetcher, the DCU prefetcher and the DCU IP prefetcher." maintainer: "seL4 Foundation" - status: "Available if KernelArchX86 OR KernelPlatformHikey is set. (Default: Off)" + status: "Available if KernelArchX86 is set. (Default: Off)" component_type: debug @@ -220,7 +219,7 @@ configurations: description: "Adds a system call that allows users to specify code to be run in kernel mode. \ Useful for profiling." maintainer: "seL4 Foundation" - status: "Can only be set if: NOT KernelARMHypervisorSupport;NOT KernelVerificationBuild;NOT KernelPlatformHikey;NOT KernelSkimWindow. (Default: Off)" + status: "Can only be set if: NOT KernelARMHypervisorSupport;NOT KernelVerificationBuild;NOT KernelSkimWindow. (Default: Off)" component_type: profiling - name: KernelStackBits display_name: "KernelStackBits" @@ -841,7 +840,7 @@ components: display_name: "samsung,exynos4210-uart" description: "exynos4210 serial seL4 driver" maintainer: "seL4 Foundation" - status: "active, currently used by the exynos4 seL4 platform" + status: "active, currently used by the exynos5 seL4 platforms" component_type: kernel-driver-serial - name: amlogic,meson-gx-uart display_name: "amlogic,meson-gx-uart" @@ -867,12 +866,6 @@ components: maintainer: "seL4 Foundation" status: "active, currently used by some imx* seL4 platforms" component_type: kernel-driver-serial - - name: qcom,msm-uartdm - display_name: "qcom,msm-uartdm" - description: "apq8064 serial seL4 driver" - maintainer: "seL4 Foundation" - status: "Inactive, currently used by the currently unmaintained apq8064 seL4 platform" - component_type: kernel-driver-serial - name: arm-misc display_name: "nvidia,tegra20-uart;ti,omap3-uart;snps,dw-apb-uart" description: "Simple Arm serial seL4 driver" @@ -897,24 +890,12 @@ components: maintainer: "seL4 Foundation" status: "Active, currently used by the cortex-a9 platforms" component_type: kernel-driver-timer - - name: qcom,kpss-timer - display_name: "qcom,kpss-timer" - description: "apq8064 timer seL4 driver" - maintainer: "seL4 Foundation" - status: "Inactive, currently used by the currently unmaintained apq8064 seL4 platform" - component_type: kernel-driver-timer - name: ti,am335x-timer display_name: "ti,am335x-timer" description: "am335x timer seL4 driver" maintainer: "seL4 Foundation" status: "Active, currently used by the am335x seL4 platforms" component_type: kernel-driver-timer - - name: samsung,exynos4412-mct - display_name: "samsung,exynos4412-mct" - description: "exynos4 timer seL4 driver" - maintainer: "seL4 Foundation" - status: "Active, currently used by the exynos4 seL4 platform" - component_type: kernel-driver-timer - name: ti,omap3430-timer display_name: "ti,omap3430-timer" description: "omap3 timer seL4 driver" @@ -976,18 +957,6 @@ components: maintainer: "seL4 Foundation" status: "active" component_type: kernel-device-tree - - name: exynos4.dts - display_name: exynos4.dts - description: "exynos4 platform device tree (dts) sourced from Linux kernel path: exynos4412-odroidx" - maintainer: "seL4 Foundation" - status: "active" - component_type: kernel-device-tree - - name: exynos5250.dts - display_name: exynos5250.dts - description: "exynos5250 platform device tree (dts) sourced from Linux kernel path: exynos5250-arndale" - maintainer: "seL4 Foundation" - status: "active" - component_type: kernel-device-tree - name: exynos5410.dts display_name: exynos5410.dts description: "exynos5410 platform device tree (dts) sourced from Linux kernel path: exynos5410-odroidxu" @@ -1024,12 +993,6 @@ components: maintainer: "seL4 Foundation" status: "active" component_type: kernel-device-tree - - name: apq8064.dts - display_name: apq8064.dts - description: "apq8064 platform device tree (dts) sourced from Linux kernel path: qcom-apq8064-ifc6410" - maintainer: "seL4 Foundation" - status: "active" - component_type: kernel-device-tree - name: allwinnera20.dts display_name: allwinnera20.dts description: "allwinnera20 platform device tree (dts) sourced from Linux kernel path: sun7i-a20-cubietruck" @@ -1054,12 +1017,6 @@ components: maintainer: "seL4 Foundation" status: "active" component_type: kernel-device-tree - - name: hikey.dts - display_name: hikey.dts - description: "hikey platform device tree (dts) sourced from Linux kernel path: hisilicon/hi6220-hikey" - maintainer: "seL4 Foundation" - status: "active" - component_type: kernel-device-tree - name: tx1.dts display_name: tx1.dts description: "tx1 platform device tree (dts) sourced from Linux kernel path: nvidia/tegra210-p2371-2180" diff --git a/_data/projects/user_libs.yml b/_data/projects/user_libs.yml index 86b78b95554..7c4ecb8465f 100644 --- a/_data/projects/user_libs.yml +++ b/_data/projects/user_libs.yml @@ -461,13 +461,13 @@ components: display_name: "plat/fvp/serial.c" description: "fvp arm,pl011 serial driver" maintainer: "seL4 Foundation" - status: "Derived from the pl011 driver for the hikey platform." + status: "Derived from the pl011 driver of the (removed) hikey platform." component_type: user-driver-serial - name: plat/fvp/sp804.c display_name: "plat/fvp/sp804.c" description: "fvp arm,sp804 timer driver" maintainer: "seL4 Foundation" - status: "Derived from the sp804 driver for the hikey platform." + status: "Derived from the sp804 driver of the (removed) hikey platform." component_type: user-driver-timer - name: plat/fvp/ltimer.c display_name: "plat/fvp/ltimer.c" @@ -475,67 +475,12 @@ components: maintainer: "seL4 Foundation" status: "Supported on fvp platform." component_type: user-driver-ltimer - - name: plat/exynos4/clock.c - display_name: "plat/exynos4/clock.c" - description: "exynos4 clock subsystem driver" - maintainer: "seL4 Foundation" - status: "Supported on exynos4 platform." - component_type: user-driver-clock - - name: plat/exynos4/src.c - display_name: "plat/exynos4/src.c" - description: "exynos4 samsung,exynos4-sysreg system control driver" - maintainer: "seL4 Foundation" - status: "Supported on exynos4 platforms. Currently can only be used to enable power for USB PHYs." - component_type: user-driver-other - - name: plat/hikey/serial.c - display_name: "plat/hikey/serial.c" - description: "hikey arm,pl011 Serial driver" - maintainer: "seL4 Foundation" - status: "Supported on Hikey platform. Could likely be extended to other platforms." - component_type: user-driver-serial - - name: plat/hikey/ltimer.c - display_name: "plat/hikey/ltimer.c" - description: "hikey ltimer implementation using 2 sp804 timers" - maintainer: "seL4 Foundation" - status: "Supported on hikey platform." - component_type: user-driver-ltimer - - name: plat/hikey/rtc.c - display_name: "plat/hikey/rtc.c" - description: "hikey arm,pl031 RTC driver" - maintainer: "seL4 Foundation" - status: "Supported on Hikey platform. Could likely be extended to other platforms." - component_type: user-driver-timer - - name: plat/hikey/dmt.c - display_name: "plat/hikey/dmt.c" - description: "hikey arm,sp804 timer driver" - maintainer: "seL4 Foundation" - status: "Supported on Hikey platform. Could likely be extended to other platforms." - component_type: user-driver-timer - name: plat/qemu-arm-virt/serial.c display_name: "plat/qemu-arm-virt/serial.c" description: "qemu-arm-virt arm,pl011 serial driver" maintainer: "seL4 Foundation" - status: "Derived from the pl011 driver for the hikey platform." + status: "Derived from the pl011 driver of the (removed) hikey platform." component_type: user-driver-serial - # FIXME: commented out for now, should use a filter instead - # - name: plat/apq8064/timer.c - # display_name: "plat/apq8064/timer.c" - # description: "apq8064 timer driver" - # maintainer: "seL4 Foundation" - # status: "Supported on apq8064 platform. (Platform is currently unmaintained)" - # component_type: user-driver-timer - # - name: plat/apq8064/serial.c - # display_name: "plat/apq8064/serial.c" - # description: "apq8064 qcom,gsbi-v1.0.0 serial driver" - # maintainer: "seL4 Foundation" - # status: "Supported on apq8064 platform. (Platform is currently unmaintained)" - # component_type: user-driver-serial - # - name: plat/apq8064/clock.c - # display_name: "plat/apq8064/clock.c" - # description: "apq8064 qcom,gcc-apq8064 clock subsystem driver" - # maintainer: "seL4 Foundation" - # status: "Supported on apq8064 platform. (Platform is currently unmaintained)" - # component_type: user-driver-clock - name: plat/hifive/pwm.c display_name: "plat/hifive/pwm.c" description: "hifive sifive,pwm0 timer driver" @@ -753,12 +698,6 @@ components: maintainer: "seL4 Foundation" status: "Supported on the Exynos SoCs" component_type: user-driver-other - - name: mach/exynos4/mux.c - display_name: "mach/exnyos4/mux.c" - description: "Pinctrl configurations for the Exynos4xxx SoCs" - maintainer: "seL4 Foundation" - status: "Supported on the Exynos4xxx SoCs" - component_type: user-driver-pinmux - name: mach/exynos5/mux.c display_name: "mach/exynos5/mux.c" description: "Pinctrl configurations for the Exynos5xxx SoCs" diff --git a/_includes/hw-info.html b/_includes/hw-info.html index 30a6f55a66f..989f647f8b6 100644 --- a/_includes/hw-info.html +++ b/_includes/hw-info.html @@ -5,6 +5,10 @@ {% if page.Maintained == false %} {% include note.html kind="Important" %} This board is no longer supported by seL4. +{%- if page.last_release %} +The last seL4 release with support for this board is +{{ page.last_release }}. +{%- endif %} {% include endnote.html %} {% endif %} diff --git a/package-lock.json b/package-lock.json index d9c6ad514df..c3abbee6ee7 100644 --- a/package-lock.json +++ b/package-lock.json @@ -197,9 +197,6 @@ "cpu": [ "arm64" ], - "libc": [ - "glibc" - ], "license": "MIT", "optional": true, "os": [ @@ -216,9 +213,6 @@ "cpu": [ "arm64" ], - "libc": [ - "musl" - ], "license": "MIT", "optional": true, "os": [ @@ -235,9 +229,6 @@ "cpu": [ "x64" ], - "libc": [ - "glibc" - ], "license": "MIT", "optional": true, "os": [ @@ -254,9 +245,6 @@ "cpu": [ "x64" ], - "libc": [ - "musl" - ], "license": "MIT", "optional": true, "os": [ @@ -802,9 +790,6 @@ "cpu": [ "arm64" ], - "libc": [ - "glibc" - ], "license": "MPL-2.0", "optional": true, "os": [ @@ -825,9 +810,6 @@ "cpu": [ "arm64" ], - "libc": [ - "musl" - ], "license": "MPL-2.0", "optional": true, "os": [ @@ -848,9 +830,6 @@ "cpu": [ "x64" ], - "libc": [ - "glibc" - ], "license": "MPL-2.0", "optional": true, "os": [ @@ -871,9 +850,6 @@ "cpu": [ "x64" ], - "libc": [ - "musl" - ], "license": "MPL-2.0", "optional": true, "os": [ diff --git a/projects/sel4/verified-configurations.md b/projects/sel4/verified-configurations.md index e171ccae750..807da27144e 100644 --- a/projects/sel4/verified-configurations.md +++ b/projects/sel4/verified-configurations.md @@ -29,28 +29,27 @@ Current verified configurations can be found in seL4 sources in the ```sh cd configs/ ls *_verified.cmake -# AARCH64_bcm2711_verified.cmake ARM_hikey_verified.cmake -# AARCH64_bcm2712_verified.cmake ARM_HYP_exynos5_verified.cmake -# AARCH64_hikey_verified.cmake ARM_HYP_exynos5410_verified.cmake -# AARCH64_imx8mm_verified.cmake ARM_HYP_verified.cmake -# AARCH64_imx8mq_verified.cmake ARM_imx8mm_verified.cmake -# AARCH64_imx93_verified.cmake ARM_MCS_verified.cmake -# AARCH64_maaxboard_verified.cmake ARM_omap3_verified.cmake -# AARCH64_MCS_verified.cmake ARM_tk1_verified.cmake -# AARCH64_odroidc2_verified.cmake ARM_verified.cmake -# AARCH64_odroidc4_verified.cmake ARM_zynq7000_verified.cmake -# AARCH64_rockpro64_verified.cmake ARM_zynqmp_verified.cmake -# AARCH64_stm32mp2_verified.cmake RISCV64_ariane_verified.cmake -# AARCH64_tqma_verified.cmake RISCV64_bananapi-f3_verified.cmake -# AARCH64_tx1_verified.cmake RISCV64_cheshire_verified.cmake -# AARCH64_ultra96v2_verified.cmake RISCV64_hifive-p550_verified.cmake -# AARCH64_verified.cmake RISCV64_MCS_verified.cmake -# AARCH64_zynqmp_verified.cmake RISCV64_polarfire_verified.cmake -# ARM_am335x_verified.cmake RISCV64_rocketchip_verified.cmake -# ARM_bcm2837_verified.cmake RISCV64_rocketchip-zcu102_verified.cmake -# ARM_exynos4_verified.cmake RISCV64_star64_verified.cmake +# AARCH64_bcm2711_verified.cmake ARM_HYP_exynos5410_verified.cmake +# AARCH64_bcm2712_verified.cmake ARM_HYP_verified.cmake +# AARCH64_imx8mm_verified.cmake ARM_imx8mm_verified.cmake +# AARCH64_imx8mq_verified.cmake ARM_MCS_verified.cmake +# AARCH64_imx93_verified.cmake ARM_omap3_verified.cmake +# AARCH64_maaxboard_verified.cmake ARM_tk1_verified.cmake +# AARCH64_MCS_verified.cmake ARM_verified.cmake +# AARCH64_odroidc2_verified.cmake ARM_zynq7000_verified.cmake +# AARCH64_odroidc4_verified.cmake ARM_zynqmp_verified.cmake +# AARCH64_rockpro64_verified.cmake RISCV64_ariane_verified.cmake +# AARCH64_stm32mp2_verified.cmake RISCV64_bananapi-f3_verified.cmake +# AARCH64_tqma_verified.cmake RISCV64_cheshire_verified.cmake +# AARCH64_tx1_verified.cmake RISCV64_hifive-p550_verified.cmake +# AARCH64_ultra96v2_verified.cmake RISCV64_MCS_verified.cmake +# AARCH64_verified.cmake RISCV64_polarfire_verified.cmake +# AARCH64_zynqmp_verified.cmake RISCV64_rocketchip_verified.cmake +# ARM_am335x_verified.cmake RISCV64_rocketchip-zcu102_verified.cmake +# ARM_bcm2837_verified.cmake RISCV64_star64_verified.cmake # ARM_exynos5410_verified.cmake RISCV64_verified.cmake # ARM_exynos5422_verified.cmake X64_verified.cmake +# ARM_HYP_exynos5_verified.cmake ``` To obtain specific source code and build for a given configuration (e.g.