unikraft / lib-lwipLinks
Unikraft port of the lwip network stack
☆14Updated last month
Alternatives and similar repositories for lib-lwip
Users that are interested in lib-lwip are comparing it to the libraries listed below
Sorting:
- Eyrie enclave runtime kernel☆37Updated 2 years ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆24Updated 2 years ago
- A superoptimizing compiler for packet-processing☆30Updated 2 years ago
- Loupe: Syscall Usage Analysis Tool☆45Updated this week
- ☆30Updated 4 years ago
- ☆11Updated 4 years ago
- Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf☆31Updated last week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Updated 3 years ago
- ☆16Updated 3 years ago
- An example app for BPF CO-RE and CI settings with GitHub Actions☆14Updated 3 years ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆64Updated 2 years ago
- eBPF tool to collect BOLT profile☆14Updated last month
- A verified high-performance file system☆38Updated 6 months ago
- Virtualisation platform using CHERI for isolation and sharing☆40Updated last year
- seL4 Device Driver Framework☆22Updated 2 years ago
- CHERI C/C++ Programming Guide☆40Updated last week
- A component-based OS☆199Updated last month
- Finding bugs in P4 compilers using translation validation.☆38Updated 2 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆57Updated this week
- Load and execute Linux ELF binaries☆48Updated last month
- Understanding the Linux 2.6.8.1 CPU Scheduler☆18Updated 10 years ago
- Keystone security monitor library for opensbi (Discountinued after monorepo-izing)☆13Updated 3 years ago
- Main repository of the Vigor NF verification project.☆48Updated 4 years ago
- Tool developped for "Bounded verification of message passing concurrency in Go programs."☆44Updated 2 years ago
- ☆47Updated last month
- Userspace eBPF VM (main repo is https://github.com/iovisor/ubpf)☆101Updated 3 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 4 years ago
- musl: A C standard library☆15Updated 4 months ago
- ☆17Updated 2 months ago