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
- 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
- Virtualisation platform using CHERI for isolation and sharing☆34Updated 5 months ago
- Loupe: Syscall Usage Analysis Tool☆25Updated last month
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- ☆13Updated last year
- ☆34Updated 4 months ago
- ☆20Updated 3 years ago
- ☆21Updated 2 years ago
- Artifacts for ATC '22 paper "Faster Software Packet Processing on FPGA NICs with eBPF Program Warping"☆17Updated 2 years ago
- A user level library for applications to transparently use Intel DSA.☆22Updated 3 weeks ago
- Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security☆71Updated 3 weeks ago
- VANS: A validated NVRAM simulator☆26Updated 11 months ago
- Open memory disaggregation☆25Updated 4 years ago
- https://rs3lab.github.io/SynCord/☆21Updated last year
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆37Updated last year
- [MICRO'20] LENS: A Low-level NVRAM Profiler [USENIX Security'23] NVLeak: Off-Chip Side-Channel Attacks via Non-Volatile Memory Systems☆14Updated 4 months ago
- A script to create bootable OS images, and run qemu with a locally built kernel.☆59Updated 2 months ago
- Characterizing and Modeling Non-Volatile Memory Systems [MICRO'20, TopPicks'21]☆33Updated 2 years ago
- Accel-config / libaccel-config☆59Updated 3 months ago
- Transparent zero-copy IO☆18Updated 7 months ago
- ☆13Updated last year
- Hodor-PKU☆23Updated 3 years ago
- Linux source code for ISCA 2020 paper "Enhancing and Exploiting Contiguity for Fast Memory Virtualization"☆17Updated 4 years ago
- Risc-V hypervisor for TEE development☆97Updated last year
- Dirigent: Lightweight Serverless Orchestration☆17Updated last month
- ☆32Updated 3 years ago
- ☆29Updated 6 months ago
- ☆107Updated 2 months ago
- Clio, ASPLOS'22.☆71Updated 2 years ago