seL4 / website

The seL4.systems website

https://seL4.systems

seL4/website Issues

Docsite content: update Supported Platforms page
Updated 5 months ago11
Docsite content: hardware: instructions if board not in the list
Updated 5 months ago8
Website: jobs page is outdated
Updated 7 months ago
Website: top menu should be reordered and restructured
Updated 7 months ago
Website: restructure the Foundation substructure
Updated 7 months ago
Website: clarify contact us?
Updated 7 months ago
Better link between website and docsite (and github)
Updated 7 months ago
Website: revisit the "More information" page
Updated 7 months ago
Website: consistent titles
Updated 7 months ago
News item anchors should be visible when hovering over an issue
Closed a year ago
https://sel4.systems/Info/FAQ/proof.pml page doesn't talk about RISC-V
Closed 2 years ago1
Provide an anchor for each news item, so one can refer to them by a specific URL
Closed 2 years ago9
Show history graphs on performance page
Updated 2 years ago2
seL4 benchmarking 'Performance' page is broken
Closed 3 years ago2
Support RSS/atom feed for news
Closed 3 years ago1
Add news item about latest seL4 release
Closed 3 years ago
Figure out way for PRs from forks to work with static site generator
Updated 3 years ago3
RSS/atom feed for https://sel4.systems/news.pml.html
Updated 3 years ago
Links are indistinguishable from regular text
Closed 3 years ago9
can't check out repo on Mac
Closed 4 years ago4
Develop GitHub workflow to allow easy review of PRs
Closed 4 years ago2