search

seL4 / docs

This is the source of the seL4 docs.
https://docs.sel4.systems
16 stars 52 forks source link

Update some links to foundation website #268

Closed mbrcknl closed 3 weeks ago

mbrcknl commented 3 weeks ago

Some links to the seL4 Foundation website were broken when the website moved to GitHub pages.