unikraft / lib-muslLinks
musl: A C standard library
☆12Updated 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
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- ☆24Updated last week
- rcu example of linux kernel. tag : rcu, list rcu, linux kernel rcu, kernel rcu, read copy update, rcu example☆34Updated 2 years ago
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆46Updated last year
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- ☆13Updated 11 months ago
- ☆17Updated 3 weeks ago
- Load and execute Linux ELF binaries☆37Updated 2 weeks ago
- Simple implementation of NVMe Linux usermode driver☆21Updated 7 years ago
- ☆30Updated 3 years ago
- Embedded Universal DSL: a good DSL for us, by us☆42Updated this week
- Many Threads Operating System☆18Updated 3 years ago
- A Secure and Memory-Efficient Heap Allocator☆33Updated last year
- K42 Kernel☆29Updated 13 years ago
- C port of the Rust symbol demangler (rustc-demangle)☆43Updated last year
- Userspace eBPF VM (main repo is https://github.com/iovisor/ubpf)☆97Updated 2 years ago
- ☆11Updated 4 years ago
- CLI utilty to work out proper constants for vpternlogic instruction☆13Updated 2 years ago
- A virtual machine monitor for the seL4 microkernel☆41Updated last week
- Clone of libtraceevent from kernel.org☆18Updated this week
- ☆20Updated 4 months ago
- ☆23Updated 7 months ago
- A User Space Threading Library☆19Updated last year
- eBPF tool to collect BOLT profile☆13Updated last month
- ☆18Updated last year
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆19Updated 2 months ago
- Hypervisor from scratch in linux☆14Updated 3 years ago
- a tool that collects and reports heap allocated memory☆14Updated 8 months ago