project-dune / duneLinks
☆211Updated 3 years ago
Alternatives and similar repositories for dune
Users that are interested in dune are comparing it to the libraries listed below
Sorting:
- minivm based on kvm☆157Updated last year
- A benchmark for testing the performance of core Linux functionalities, developed by Xiang Ren, Kirk Rodrigues, Luyuan Chen and Camilo Veg…☆64Updated last year
- ☆231Updated last year
- ☆243Updated 2 years ago
- Hodor-PKU☆26Updated 4 years ago
- ☆33Updated 7 years ago
- MMTests: Benchmarking framework primarily aimed at Linux kernel testing☆242Updated last week
- ☆84Updated 2 years ago
- Test suite for the Linux perf_event subsystem☆117Updated 6 months ago
- PMCTrack: an OS-oriented performance monitoring tool for Linux☆68Updated last year
- Live upgrade Linux kernel scheduler subsystem☆88Updated 2 years ago
- Userspace tool to map virtual page addresses to physical addresses.☆197Updated 6 years ago
- A minimal kvm example☆509Updated 3 years ago
- ☆125Updated 7 months ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- ☆93Updated 3 weeks ago
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆40Updated 5 years ago
- Compartmentalised monolithic library OS☆20Updated 4 years ago
- documents☆165Updated 3 years ago
- Examples for: Learning KVM - implement your own kernel☆380Updated 2 years ago
- Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors☆56Updated 3 weeks ago
- ☆64Updated last year
- Virtualisation platform using CHERI for isolation and sharing☆40Updated last year
- Linux kernel block layer testing framework☆132Updated last week
- Simple Intel CPU processor tracing on Linux☆354Updated 2 years ago
- virtio example front-end and back-end☆36Updated 7 years ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆35Updated 3 years ago
- utilities for Linux ftrace☆309Updated last month
- An ongoing attempt to create own hypervisior from scratch in linux.☆51Updated 4 years ago
- POSIX-like scalable multicore research OS kernel☆197Updated 5 years ago