Pinned Repositories
AOS
Advanced Operating Systems project
cakeml_libs
A collection of libraries and utilities to be used with CakeML applications.
camkes
Component Architecture test suite and example apps.
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.
camkes-tool
The main CAmkES tool
capdl
Capability Distribution Language tools for seL4
global-components
libnfs
NFS client library
musllibc
sDDF
seL4 Device Driver Framework
lucypa's Repositories
lucypa/sDDF
seL4 Device Driver Framework
lucypa/AOS
Advanced Operating Systems project
lucypa/cakeml_libs
A collection of libraries and utilities to be used with CakeML applications.
lucypa/camkes
Component Architecture test suite and example apps.
lucypa/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.
lucypa/camkes-tool
The main CAmkES tool
lucypa/capdl
Capability Distribution Language tools for seL4
lucypa/global-components
lucypa/libnfs
NFS client library
lucypa/musllibc
lucypa/picotcp
PicoTCP is a free TCP/IP stack implementation
lucypa/projects_libs
lucypa/seL4
The seL4 microkernel
lucypa/seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
lucypa/seL4_projects_libs
lucypa/seL4_tools
Basic tools for building seL4 projects
lucypa/sel4cp
seL4 Core Platform - A simple operating system for the seL4 microkernel
lucypa/sel4runtime
A minimal runtime for seL4 applications.
lucypa/thesis
lucypa/timer_driver
lucypa/util_libs