hardware: separate the unmaintained platforms

seL4 / docs

This is the source of the seL4 docs.

https://docs.sel4.systems

16 stars 52 forks source link

Closed june-andronick closed 7 months ago

june-andronick commented 8 months ago

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 italic for a visual clue that there is something different to pay attention to
- added a line to split even more that section
added section titles for both maintained and unmaintained platforms
added some text at the start to refer to both new sections

june-andronick commented 7 months ago

Where does the page.Maintained attribute get generated? Is it set manually?

I'm not sure. It's from the headers in each platform file, like other attributes like status, maintained...