Lucy Parker's repositories
AOS
Advanced Operating Systems project
Language:C000
cakeml_libs
A collection of libraries and utilities to be used with CakeML applications.
Language:Standard ML000
camkes
Component Architecture test suite and example apps.
Language:CNOASSERTION000
camkes-manifest
Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.
000
camkes-tool
The main CAmkES tool
Language:PythonNOASSERTION000
capdl
Capability Distribution Language tools for seL4
Language:Haskell000
Language:CNOASSERTION000
libnfs
NFS client library
Language:CNOASSERTION000
Language:CNOASSERTION000
picotcp
PicoTCP is a free TCP/IP stack implementation
Language:CNOASSERTION000
Language:C++NOASSERTION000
seL4
The seL4 microkernel
Language:CNOASSERTION000
seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
Language:CNOASSERTION000
NOASSERTION000
seL4_tools
Basic tools for building seL4 projects
Language:CNOASSERTION000
sel4cp
seL4 Core Platform - A simple operating system for the seL4 microkernel
Language:PythonBSD-2-Clause000
sel4runtime
A minimal runtime for seL4 applications.
Language:CNOASSERTION000
Language:TeX000
Language:CNOASSERTION000