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:
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆23Updated last week
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- sel4 benchmarking applications and support library.☆20Updated this week
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- Reference manual for the Genode OS Framework☆24Updated last month
- Collection of community-maintained components for Genode☆46Updated this week
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆20Updated 9 years ago
- NOVA userland☆48Updated 11 years ago
- XOCFE is an concise, clearly, C compiler frontend, it is easy to understand and modify. XOCFE's input is pure C, output is an AST tree.☆52Updated 3 months ago
- A Machine-Independent Debugger☆33Updated 7 months ago
- Component Architecture test suite and example apps.☆29Updated 2 months ago
- Capability Distribution Language tools for seL4☆37Updated 2 months ago
- K42 Kernel☆27Updated 13 years ago
- Multi-architecture hobby operating system created in C☆16Updated 3 weeks ago
- Test suite for seL4.☆26Updated last week
- Mirror of git.qemu.org/vgabios.git☆26Updated 8 years ago
- Binary tools: assembler, disassembler, linker, library manager, emulator☆61Updated 4 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆54Updated 2 months ago
- minimal libc☆18Updated 13 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆26Updated 10 years ago
- Basic tools for building seL4 projects☆48Updated this week
- Advanced Operating Systems project☆20Updated 8 months ago
- Fabrice Bellard's fbcc C Compiler☆42Updated 5 years ago
- Portable C Compiler (CVS mirror)☆12Updated 13 years ago
- DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3☆19Updated 6 years ago
- Virtual Machine built as a CAmkES component.☆23Updated 2 months ago
- A small and simple static analysis tool for C in C☆29Updated 7 months ago
- RTOS based on L4 microkernel.☆16Updated 6 years ago
- just a toy operating system for fun☆19Updated 10 years ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 7 years ago