docs icon indicating copy to clipboard operation
docs copied to clipboard
verified publisher icon seL4

restructure how verified configs are displayed

Open lsf37 opened this issue 1 month ago • 1 comments

  • each hardware platform now declares a list of verified configs (empty if no verification, one or more of ARM, ARM_HYP, AARCH64, RISCV64, X64 otherwise; can be extended with other tags, only needs a corresponding section on verified configs page)

  • verified configs page has a section for each main config class, lists all platforms for that class

  • platforms page produces a tick if any verified config is present and links to the verified configs each platform enumerates

lsf37 avatar Nov 26 '25 05:11 lsf37

Is there a way to check the rendered result? I tried downloading the artifact, but that wasn't very useful.

Indanz avatar Nov 26 '25 16:11 Indanz

Is there a way to check the rendered result? I tried downloading the artifact, but that wasn't very useful.

Unfortunately not from the GitHub interface, you'd have to clone and build locally to browse it or point a web server at the generated artefact.

lsf37 avatar Nov 26 '25 21:11 lsf37

Rebased, added capDL explanation, and found one html validation error (and fixed it).

This reminds me that I wanted to add the validator and link checker for the docsite. Opened #307 and #308.

lsf37 avatar Nov 26 '25 22:11 lsf37