Christopher Guikema's repositories
seL4
The seL4 microkernel
Language:CNOASSERTION000
Language:CNOASSERTION000
Language:CNOASSERTION000
ci-actions
CI GitHub actions for the seL4 repositories
000
camkes-vm
Virtual Machine build as a CAmkES component.
NOASSERTION000
NOASSERTION000
Language:CNOASSERTION000
NOASSERTION000
docs
This is the source of the seL4 docs.
000
Language:C000
seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
Language:CNOASSERTION000
NOASSERTION000
seL4_tools
Basic tools for building seL4 projects
NOASSERTION000
camkes-tool
The main CAmkES tool
Language:PythonNOASSERTION000
seL4-CAmkES-L4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
000
Language:HaskellNOASSERTION000
Language:Shell000
camkes-arm-vm-manifest
Manifest for building a virtual machine on seL4 on ARM.
NOASSERTION000
Language:CNOASSERTION000
Language:PythonMIT000
guikema_nfl_pool
Python Script to automate the Guikema Family NFL Pool
Language:Python000