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
- Run Unikraft ELF Loader app on Linux executables☆15Updated last year
- eBPF tool to collect BOLT profile☆13Updated 2 months ago
- GCC plugin for C language that tracks references to allocated objects☆28Updated 3 months ago
- Load and execute Linux ELF binaries☆39Updated 3 weeks ago
- rcu example of linux kernel. tag : rcu, list rcu, linux kernel rcu, kernel rcu, read copy update, rcu example☆34Updated 2 years ago
- ☆30Updated 3 years ago
- ☆25Updated this week
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆47Updated last year
- Nautilus Aerokernel☆46Updated 3 years ago
- Many Threads Operating System☆17Updated 3 years ago
- ☆11Updated 4 years ago
- Userspace eBPF VM (main repo is https://github.com/iovisor/ubpf)☆97Updated 2 years ago
- seL4 Device Driver Framework☆21Updated last year
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- Research unikernel for virtualized services☆51Updated 2 years ago
- ☆14Updated last year
- A virtual machine monitor for the seL4 microkernel☆40Updated last week
- ☆17Updated 3 weeks ago
- ☆37Updated this week
- ☆16Updated 3 years ago
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆39Updated 5 years ago
- Advanced Operating Systems project☆20Updated last year
- K42 Kernel☆29Updated 13 years ago
- Userspace eBPF Runtime Benchmarking Test Suite and Results☆16Updated last year
- Loupe: Syscall Usage Analysis Tool☆39Updated this week
- Doug Lea's malloc☆36Updated 9 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- ☆48Updated 10 months ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆41Updated 2 years ago