project-flexos / unikraft
FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
☆22Updated last year
Alternatives and similar repositories for unikraft:
Users that are interested in unikraft are comparing it to the libraries listed below
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆33Updated 5 months ago
- ☆60Updated 7 months ago
- Virtualisation platform using CHERI for isolation and sharing☆35Updated 8 months ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆30Updated 3 years ago
- PARSEC 3.0 benchmark suite☆10Updated 6 years ago
- VANS: A validated NVRAM simulator☆26Updated last year
- ☆21Updated 2 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- A Filesystem Semi-Microkernel.☆37Updated last year
- https://rs3lab.github.io/SynCord/☆22Updated 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
- ☆16Updated last year
- Open memory disaggregation☆25Updated 4 years ago
- The implementation of HawkEye, our research system: "HawkEye: Efficient Fine-grained OS Support for Huge Pages" from ASPLOS 2019.☆18Updated 3 years ago
- Characterizing and Modeling Non-Volatile Memory Systems [MICRO'20, TopPicks'21]☆33Updated 3 years ago
- ☆70Updated last year
- ☆20Updated 3 years ago
- A script to create bootable OS images, and run qemu with a locally built kernel.☆63Updated this week
- A suite of representative serverless cloud-agnostic (i.e., dockerized) benchmarks☆51Updated this week
- Transparent zero-copy IO☆18Updated 10 months ago
- 项目的主仓库☆23Updated 2 years ago
- Slice-aware Memory Management - Exploiting NUCA Characteristic of LLC in Intel Processors☆39Updated 5 years ago
- Compartmentalised monolithic library OS☆19Updated 3 years ago
- Bypassd is a novel I/O architecture that provides low latency access to shared SSDs.☆22Updated last year
- Microscope: Enabling Microarchitectural Replay Attacks☆18Updated 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…☆62Updated last year
- Clio, ASPLOS'22.☆72Updated 3 years ago
- Pythia is a set of RDMA-based remote side-channel attacks. USENIX Security 2019.☆26Updated 4 years ago
- Hodor-PKU☆23Updated 3 years ago
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆12Updated 5 months ago