seL4 / musllibcLinks
☆27Updated last week
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
- K42 Kernel☆29Updated 13 years ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- sel4 benchmarking applications and support library.☆20Updated last week
- Prototype no-assurance reference OS personality built on seL4☆50Updated 5 months ago
- minimal libc☆20Updated 13 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- A standalone library to implement GNU libc's obstack☆25Updated last year
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆55Updated 3 years ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆23Updated last week
- ☆59Updated last week
- Personal branch of git://c9x.me/qbe.git☆36Updated 3 years ago
- Advanced Operating Systems project☆20Updated 11 months ago
- scc - simple C Compiler☆59Updated 8 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆41Updated 2 years ago
- Official mirror of the Muen Separation Kernel repository☆88Updated last week
- Reference manual for the Genode OS Framework☆24Updated 2 weeks ago
- Virtual Machine and Assembler for Notch's DCPU-16 Architecture☆222Updated 13 years ago
- quick c☆35Updated 3 years ago
- A Tree Parser Generator☆99Updated 10 months ago
- ☆36Updated last week
- Capability Distribution Language tools for seL4☆37Updated last week
- 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
- Fabrice Bellard's tinyemu (https://bellard.org/tinyemu/)☆64Updated 3 years ago
- Component Architecture test suite and example apps.☆30Updated last week
- The sources to compile Ravenports buildsheets☆19Updated this week
- Sparc emulator☆11Updated 7 years ago
- Codezero Microkernel☆109Updated 3 years ago
- Portable C Compiler☆12Updated 12 years ago