project-flexos / unikraft
FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
☆21Updated last year
Related projects ⓘ
Alternatives and complementary repositories for unikraft
- Loupe: Syscall Usage Analysis Tool☆25Updated last month
- Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security☆73Updated this week
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆29Updated 2 years ago
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆21Updated 4 years ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆22Updated 2 months ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- A suite of representative serverless cloud-agnostic (i.e., dockerized) benchmarks☆48Updated this week
- ☆14Updated last year
- https://rs3lab.github.io/SynCord/☆21Updated last year
- [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF☆37Updated 4 months ago
- Linux source code for ISCA 2020 paper "Enhancing and Exploiting Contiguity for Fast Memory Virtualization"☆17Updated 4 years ago
- A user level library for applications to transparently use Intel DSA.☆23Updated last month
- Virtualisation platform using CHERI for isolation and sharing☆35Updated 5 months ago
- ☆60Updated 4 months ago
- Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony☆32Updated 5 months ago
- ☆45Updated last year
- Artifacts for ATC '22 paper "Faster Software Packet Processing on FPGA NICs with eBPF Program Warping"☆17Updated 2 years ago
- Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.☆14Updated 2 months ago
- VANS: A validated NVRAM simulator☆26Updated 11 months ago
- A Filesystem Semi-Microkernel.☆36Updated last year
- ☆20Updated 3 years ago
- Accel-config / libaccel-config☆60Updated last week
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆60Updated last year
- Linux source tree with Mitosis extension for x86_64.☆11Updated 3 years ago
- Open memory disaggregation☆25Updated 4 years ago
- STeLLAR: Open-source framework for serverless clouds benchmarking☆33Updated last month
- ☆21Updated 2 years ago
- Ensō is a high-performance streaming interface for NIC-application communication.☆69Updated 2 months ago
- ☆69Updated last year
- ☆22Updated last year