unikraft / lib-muslLinks
musl: A C standard library
☆12Updated last month
Alternatives and similar repositories for lib-musl
Users that are interested in lib-musl are comparing it to the libraries listed below
Sorting:
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Updated 3 years ago
- Advanced Operating Systems project☆20Updated 9 months ago
- ☆24Updated 2 weeks ago
- GCC plugin for C language that tracks references to allocated objects☆27Updated last month
- K42 Kernel☆28Updated 13 years ago
- A Shell to parse ELF files☆19Updated 2 years ago
- An experimental virtual machine monitor for the seL4 microkernel☆40Updated last week
- ☆11Updated 4 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- libslirp for Linux made easy peasy☆29Updated 8 months ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆33Updated this week
- Sled System Emulator☆28Updated last month
- Embedded Universal DSL: a good DSL for us, by us☆38Updated this week
- Load and execute Linux ELF binaries☆35Updated last month
- A Secure and Memory-Efficient Heap Allocator☆33Updated last year
- Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)☆16Updated 5 years ago
- eBPF tool to collect BOLT profile☆13Updated last week
- Unikraft port of the lwip network stack☆14Updated last month
- Run Unikraft ELF Loader app on Linux executables☆15Updated last year
- Basic tools for building seL4 projects☆48Updated 2 weeks ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆26Updated 2 weeks ago
- ☆17Updated 2 months ago
- Main Repo for the OpenHW Group Software Task Group☆17Updated 3 months ago
- An NVMe Device Simulation Library.☆50Updated 2 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- ☆21Updated 7 years ago
- ☆19Updated 3 weeks ago
- Succeeded by https://github.com/yomaytk/elfconv☆35Updated last year
- Research unikernel for virtualized services☆50Updated 2 years ago
- ☆25Updated 11 months ago