search

seL4 / website

The seL4.systems website
https://seL4.systems
3 stars 14 forks source link

Update whitepaper to 1.3 #345

Closed gernotheiser closed 6 months ago

gernotheiser commented 6 months ago

Recompiled whitepaper to fix the broken links to TS publications (which still referenced the CSIRO site).