unikraft / lib-muslLinks
musl: A C standard library
☆13Updated 2 weeks ago
Alternatives and similar repositories for lib-musl
Users that are interested in lib-musl are comparing it to the libraries listed below
Sorting:
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- GCC plugin for C language that tracks references to allocated objects☆28Updated 4 months ago
- Run Unikraft ELF Loader app on Linux executables☆15Updated last year
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆48Updated last year
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- ☆11Updated 4 years ago
- ☆14Updated last year
- rcu example of linux kernel. tag : rcu, list rcu, linux kernel rcu, kernel rcu, read copy update, rcu example☆34Updated 2 years ago
- A virtual machine monitor for the seL4 microkernel☆41Updated last week
- Load and execute Linux ELF binaries☆40Updated 2 weeks ago
- K42 Kernel☆30Updated 13 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- A Shell to parse ELF files☆19Updated 2 years ago
- Embedded Universal DSL: a good DSL for us, by us☆45Updated this week
- seL4 Device Driver Framework☆21Updated last year
- Freud, a tool to create Performance Annotations for C/C++ programs☆21Updated last year
- Research unikernel for virtualized services☆51Updated 2 years ago
- ☆17Updated last month
- Fork of LLVM adding CHERI support☆57Updated this week
- Many Threads Operating System☆17Updated 3 years ago
- QEMU with support for CHERI☆59Updated last week
- ☆23Updated 9 months ago
- ☆30Updated 3 years ago
- ☆25Updated last week
- libslirp for Linux made easy peasy☆30Updated 2 weeks ago
- Userspace eBPF VM (main repo is https://github.com/iovisor/ubpf)☆97Updated 2 years ago
- ☆20Updated 6 months ago
- A Secure and Memory-Efficient Heap Allocator☆33Updated last year
- A User Space Threading Library☆20Updated last year
- Nautilus Aerokernel☆46Updated 3 years ago