unikraft / lib-musl
musl: A C standard library
☆10Updated last month
Alternatives and similar repositories for lib-musl:
Users that are interested in lib-musl are comparing it to the libraries listed below
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- ☆16Updated 2 years ago
- ☆22Updated 3 weeks ago
- An experimental virtual machine monitor for the seL4 microkernel☆38Updated this week
- ☆35Updated last year
- Crates for Microsoft Hypervisor ioctls and bindings☆36Updated this week
- Load and execute Linux ELF binaries☆33Updated last month
- ☆30Updated 3 years ago
- ☆48Updated 5 months ago
- 🌄 RISC-V Ecosystem Landscape: a living document that developers, investors, vendors, researchers and others can use as a resource on the…☆14Updated this week
- A Secure and Memory-Efficient Heap Allocator☆33Updated 10 months ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- Advanced Operating Systems project☆20Updated 7 months ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- Run Unikraft ELF Loader app on Linux executables☆14Updated last year
- ☆11Updated 3 years ago
- libslirp for Linux made easy peasy☆28Updated 6 months ago
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆43Updated last year
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆27Updated 3 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- rcu example of linux kernel. tag : rcu, list rcu, linux kernel rcu, kernel rcu, read copy update, rcu example☆34Updated 2 years ago
- A Shell to parse ELF files☆19Updated last year
- K42 Kernel☆27Updated 12 years ago
- ☆17Updated 3 weeks ago
- Many Threads Operating System☆18Updated 3 years ago
- Embedded Universal DSL: a good DSL for us, by us☆36Updated this week
- ☆16Updated 8 months ago
- Basic tools for building seL4 projects☆46Updated 2 weeks ago
- Loupe: Syscall Usage Analysis Tool☆32Updated this week
- The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.☆11Updated 9 months ago