gernotheiser

UNSWSydney

Pinned Repositories

platform-sel4-docs
Documentation on a simple operating system platform to run on seL4
Language:TeX1 5 12
uarch-side-channels
Language:TeX0 0 00
uarch-side-channels
Language:TeX13 13 24
ci-actions
CI GitHub actions for the seL4 repositories
Language:Python3 19 9413
docs
This is the source of the seL4 docs.
Language:C16 26 3752
seL4
The seL4 microkernel
Language:C4.7k 206 427671
website
The seL4.systems website
Language:HTML3 15 2114
website_pr_hosting
This repo stores the generated website files from PRs on https://github.com/seL4/website
Language:HTML0 5 00
whitepaper
Source for the seL4 white paper
Language:Perl0 20 23