unikraft / lib-muslLinks
musl: A C standard library
☆15Updated 4 months 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☆19Updated 3 years ago
- GCC plugin for C language that tracks references to allocated objects☆30Updated 7 months ago
- Run Unikraft ELF Loader app on Linux executables☆15Updated 2 years ago
- rcu example of linux kernel. tag : rcu, list rcu, linux kernel rcu, kernel rcu, read copy update, rcu example☆34Updated 3 years ago
- ☆17Updated last year
- ☆11Updated 4 years ago
- ☆27Updated this week
- A virtual machine monitor for the seL4 microkernel☆47Updated this week
- Advanced Operating Systems project☆20Updated 3 months ago
- Load and execute Linux ELF binaries☆48Updated last month
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 4 years ago
- ☆30Updated 4 years ago
- seL4 Device Driver Framework☆22Updated 2 years ago
- A Shell to parse ELF files☆19Updated 2 years ago
- CHERI C/C++ Programming Guide☆40Updated this week
- Research unikernel for virtualized services☆52Updated 3 years ago
- Nautilus Aerokernel☆48Updated 3 years ago
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆49Updated last year
- eBPF tool to collect BOLT profile☆14Updated last month
- Doug Lea's malloc☆38Updated 9 years ago
- Many Threads Operating System☆18Updated 3 years ago
- K42 Kernel☆31Updated 13 years ago
- Userspace eBPF VM (main repo is https://github.com/iovisor/ubpf)☆101Updated 3 years ago
- ☆16Updated 3 years ago
- Embedded Universal DSL: a good DSL for us, by us☆60Updated this week
- Wult stands for "Wake Up Latency Tracer", and this is a project that provides tools for measuring C-state latency in Linux.☆27Updated 3 weeks ago
- ☆48Updated 2 months ago
- A User Space Threading Library☆20Updated last year
- Simple implementation of NVMe Linux usermode driver☆21Updated 7 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆26Updated 4 years ago