HExSA-Lab / nautilus
Nautilus Aerokernel
☆44Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for nautilus
- ☆30Updated 2 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- ☆31Updated 6 years ago
- User-space Page Management☆104Updated 3 months 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…☆59Updated last year
- ☆11Updated 3 years ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆29Updated 2 years ago
- ☆34Updated 4 months ago
- ☆19Updated 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
- Some codes to trace KVM events using BPF☆18Updated 4 years ago
- Loupe: Syscall Usage Analysis Tool☆25Updated last month
- Pedagogical Hypervisor, based on MIT JOS☆66Updated 6 years ago
- ☆21Updated 5 months ago
- ☆60Updated 4 months ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 4 years ago
- TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)☆68Updated 5 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago
- Memory access tracing QEMU☆94Updated 7 years ago
- Experimental kernel with built-in replication.☆154Updated 7 months ago
- ☆45Updated last year
- LiTL: Library for Transparent Lock Interposition☆77Updated last year
- dthreads: Efficient Deterministic Multithreading☆49Updated 9 years ago
- Open memory disaggregation☆25Updated 4 years ago
- The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).☆19Updated 3 years ago
- Hodor-PKU☆23Updated 3 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
- WineFS (SOSP 21): a huge-page aware file system for persistent memory☆34Updated last year
- A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system☆22Updated 9 years ago
- A false sharing detection and repair tool☆12Updated 5 years ago