unikraft / lib-muslLinks
musl: A C standard library
☆15Updated 2 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☆18Updated 3 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 4 years ago
- K42 Kernel☆31Updated 13 years ago
- Run Unikraft ELF Loader app on Linux executables☆15Updated 2 years ago
- GCC plugin for C language that tracks references to allocated objects☆29Updated 6 months ago
- rcu example of linux kernel. tag : rcu, list rcu, linux kernel rcu, kernel rcu, read copy update, rcu example☆34Updated 2 years ago
- ☆11Updated 4 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆26Updated 3 years ago
- Load and execute Linux ELF binaries☆43Updated last month
- Many Threads Operating System☆17Updated 3 years ago
- eBPF tool to collect BOLT profile☆14Updated 5 months ago
- Advanced Operating Systems project☆21Updated 2 months ago
- ☆48Updated 2 weeks ago
- ☆27Updated last week
- A Shell to parse ELF files☆19Updated 2 years ago
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆49Updated last year
- Loupe: Syscall Usage Analysis Tool☆42Updated last week
- Userspace eBPF VM (main repo is https://github.com/iovisor/ubpf)☆100Updated 3 years ago
- ☆19Updated last year
- ☆38Updated last year
- Research unikernel for virtualized services☆51Updated 2 years ago
- An example app for BPF CO-RE and CI settings with GitHub Actions☆14Updated 3 years ago
- Wult stands for "Wake Up Latency Tracer", and this is a project that provides tools for measuring C-state latency in Linux.☆26Updated last month
- A virtual machine monitor for the seL4 microkernel☆45Updated last week
- Crates for Microsoft Hypervisor ioctls and bindings☆41Updated last week
- QEMU with support for CHERI☆63Updated this week
- A shared memory message based broadcast system using atomic interlocking.☆38Updated 2 months ago
- 'vhost-user' device backends workspace☆104Updated this week
- Nautilus Aerokernel☆47Updated 3 years ago
- Fork of LLVM adding CHERI support☆60Updated last week