seL4 / musllibc
☆25Updated 6 months ago
Alternatives and similar repositories for musllibc:
Users that are interested in musllibc are comparing it to the libraries listed below
- sel4 benchmarking applications and support library.☆19Updated 3 weeks ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆20Updated 3 weeks ago
- Collection of community-maintained components for Genode☆47Updated this week
- Advanced Operating Systems project☆20Updated 4 months ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- L4Ka::Hazelnut micro-kernel☆33Updated 9 years ago
- Capability Distribution Language tools for seL4☆35Updated 6 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated last month
- Prototype no-assurance reference OS personality built on seL4☆49Updated 3 years ago
- NOVA userland☆48Updated 11 years ago
- K42 Kernel☆24Updated 12 years ago
- RTOS based on L4 microkernel.☆16Updated 6 years ago
- minimal libc☆18Updated 12 years ago
- Basic tools for building seL4 projects☆45Updated 5 months ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- Context-free grammar parsing library☆11Updated 3 months ago
- Software and documentation, mostly from the 80s and 90s☆23Updated 9 years ago
- Mirror of git.qemu.org/vgabios.git☆25Updated 7 years ago
- Easy Compiler Compiler written in C++☆23Updated 7 years ago
- A Machine-Independent Debugger☆29Updated 3 months ago
- Libelf is a simple library to read ELF files.☆48Updated 2 years ago
- Mirror of git.qemu.org/sgabios.git☆17Updated 2 years ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆19Updated 8 years ago
- A standalone library to implement GNU libc's obstack☆21Updated last year
- Test suite for seL4.☆25Updated last month
- scc - simple C Compiler☆51Updated 7 years ago
- Portable C Compiler☆12Updated 12 years ago
- GNU M4. Mirror of git://git.savannah.gnu.org/m4.git☆19Updated 5 months ago
- ☆58Updated 6 months ago