Remove unsupported platforms

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|
 

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.

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.
 ---

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.
 ---

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.
 ---

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.

_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"

_data/projects/user_libs.yml

@@ -461,81 +461,26 @@ 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"
     description: "fvp ltimer implementation using 2 sp804 timers."
     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"

_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
+<a href="{{ '/releases/sel4/' | append: page.last_release | append: '.html' | relative_url }}">{{ page.last_release }}</a>.
+{%- endif %}
 {% include endnote.html %}
 {% endif %}
 <table class="max-w-md">

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.