project-dune / duneLinks
☆210Updated 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☆156Updated last year
- ☆64Updated last year
- ☆82Updated 2 years ago
- ☆230Updated last year
- ☆237Updated 2 years ago
- MMTests: Benchmarking framework primarily aimed at Linux kernel testing☆240Updated last week
- virtio example front-end and back-end☆36Updated 6 years ago
- Hodor-PKU☆26Updated 4 years ago
- A minimal kvm example☆504Updated 3 years ago
- ☆33Updated 7 years ago
- Compartmentalised monolithic library OS☆20Updated 4 years ago
- Virtualisation platform using CHERI for isolation and sharing☆40Updated last year
- Live upgrade Linux kernel scheduler subsystem☆88Updated 2 years ago
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆40Updated 5 years ago
- ☆125Updated 7 months ago
- PMCTrack: an OS-oriented performance monitoring tool for Linux☆68Updated last year
- ☆64Updated last year
- Userspace tool to map virtual page addresses to physical addresses.☆197Updated 6 years ago
- Test suite for the Linux perf_event subsystem☆118Updated 5 months ago
- Linux kernel block layer testing framework☆131Updated last week
- Simple Intel CPU processor tracing on Linux☆351Updated 2 years ago
- ☆93Updated last week
- framework for emulating devices in userspace☆203Updated last week
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆26Updated 4 months ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- POSIX-like scalable multicore research OS kernel☆197Updated 5 years ago
- ☆21Updated 3 years ago
- documents☆165Updated 3 years ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- Stand-alone Native Linux KVM Tool repo☆600Updated last year