seL4 / musllibcLinks
☆27Updated 2 months ago
Alternatives and similar repositories for musllibc
Users that are interested in musllibc are comparing it to the libraries listed below
Sorting:
- Collection of community-maintained components for Genode☆47Updated last week
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆22Updated this week
- Prototype no-assurance reference OS personality built on seL4☆50Updated 7 months ago
- K42 Kernel☆31Updated 13 years ago
- sel4 benchmarking applications and support library.☆19Updated 2 months ago
- RTOS based on L4 microkernel.☆18Updated 7 years ago
- Reference manual for the Genode OS Framework☆24Updated 2 months ago
- minimal libc☆22Updated 13 years ago
- A guide to hobbyist operating systems☆60Updated 6 years ago
- Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.☆22Updated 9 years ago
- Official mirror of the Muen Separation Kernel repository☆90Updated 3 weeks ago
- L4Ka::Hazelnut micro-kernel