hardware: separate the unmaintained platforms (#223)

* hardware: separate the unmaintained platforms

- removed unmaintained platforms from existing tables

- created a new table at the end for unmaintained platforms
  - only created a table for ARM for now as there is no unmaintained
    platforms for RISC-V or x86
  - put all this section in grey for a visual clue that there is
    something different to pay attention to
  - added a line to split even more that section
  - added some text to explain what unmaintained means

---------

Signed-off-by: June Andronick <june.andronick@proofcraft.systems>

Hardware/index.md

@@ -47,7 +47,6 @@ See [Running It](/seL4Test#RunningIt) for how to run seL4 using Qemu.
 
 You can also [run seL4 on VMware](VMware).
 
-
 ## ARM
 
 seL4 has support for select ARMv7 and ARMv8 Platforms.
@@ -58,7 +57,7 @@ seL4 has support for select ARMv7 and ARMv8 Platforms.
 | - | - | - | - | - | - | - | - | - |
 {%- assign sorted = site.pages | sort: 'platform' %}
 {% for page in sorted %}
-{%- if page.arm_hardware -%}
+{%- if page.arm_hardware and page.Maintained != "No"" -%}
 | [{{ page.platform }}]({{page.url}}) | {{ page.soc}} | {{ page.cpu }} | {{ page.arch }} | {{ page.virtualization }} | {{ page.iommu}} | {{ page.Status }} | {{ page.Contrib }} | {{page.Maintained}} |
 {% endif %}
 {%- endfor %}
@@ -86,3 +85,26 @@ We support PC99-style Intel Architecture Platforms.
 | [PC99 (64-bit)](IA32) | x64  | VT-X           | VT-D  | [FC (without VT-X, VT-D and fastpath)][X64] | Data61         | seL4 Foundation        |
 
 [X64]: /projects/sel4/verified-configurations.html#x64
+
+
+---
+
+##  <span style="color:grey">Unmaintained platforms</span>
+
+<span style="color:grey">
+Unmaintained platforms are platforms for which code has been contributed, but
+this code is not or no longer tested and is unlikely to work. We list these
+here, because bringing an unmaintained platform up may be faster and easier than
+starting from scratch on a new platform port.
+
+
+###  <span style="color:grey">ARM</span>
+
+| <span style="color:grey">Platform</span> | <span style="color:grey">System-on-chip</span> | <span style="color:grey">Core</span> | <span style="color:grey">Arch</span> | <span style="color:grey">Virtualisation</span> | <span style="color:grey">SMMU</span> | <span style="color:grey">Verification Status</span> | <span style="color:grey">Contributed by</span> |
+| - | - | - | - | - | - | - | - | - |
+{%- assign sorted = site.pages | sort: 'platform'%}
+{% for page in sorted %}
+{%- if page.arm_hardware and page.Maintained == "No"" -%}
+| <span style="color:grey">[{{ page.platform }}]({{page.url}})</span> (**unmaintained**) | <span style="color:grey">{{ page.soc}}</span> | <span style="color:grey">{{ page.cpu }}</span> | <span style="color:grey">{{ page.arch }}</span> | <span style="color:grey">{{ page.virtualization }}</span> | <span style="color:grey">{{ page.iommu}}</span> | <span style="color:grey">{{ page.Status }}</span> | <span style="color:grey">{{ page.Contrib }}</span> |
+{% endif %}
+{%- endfor %}