hlandau / kvmtestLinks
An experimental VMM for KVM written in pure Python
☆28Updated 2 years ago
Alternatives and similar repositories for kvmtest
Users that are interested in kvmtest are comparing it to the libraries listed below
Sorting:
- A minimal, resource-friendly syslog daemon for embedded Linux☆26Updated 2 years ago
- GCC plugin for C language that tracks references to allocated objects☆27Updated last month
- Process-independent interface to Linux system calls☆70Updated 2 years ago
- A C11 compiler for the discrete logic computer☆20Updated last year
- Create microVMs from OCI images☆34Updated last year
- Convert ELF executables to DOS executables☆32Updated 6 years ago
- The No-Order File System (NoFS)☆47Updated 12 years ago
- IPv4 to IPv6 interceptor☆67Updated 2 years ago
- BUSE: Block device in user space☆15Updated 3 years ago
- ☆48Updated 7 months ago
- Painless Linux sandboxing API☆16Updated last year
- Fast edit-compile-test cycles for Linux+OpenZFS development☆27Updated 2 weeks ago
- Idol, an IDL and binary encoding for zero-copy local IPC☆50Updated 8 months ago
- Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes☆25Updated 6 years ago
- ☆16Updated 2 months ago
- This tool is helpful to create rootfs for debian-based distributions with reproducable outputs.☆18Updated 2 years ago
- An open-source Unix operating system☆30Updated this week
- Really Secure Boot on Linux☆21Updated last year
- Modeling futexes in TLA+☆20Updated 8 months ago
- view based o.s.☆41Updated 2 months ago
- Blessed sanctum, save us || Sanctum is a small, reviewable, capable, pq-safe and fully privilege seperated VPN daemon. || This is a read-…☆72Updated this week
- ☆14Updated last week
- OpenBSD unveil(2) like function in Linux using Landlock☆29Updated last month
- Example of how to trace mmap page faults in linux☆20Updated 3 years ago
- POsix SERvices framework for C☆14Updated last week
- Nomad task driver capable of blocking unwanted syscall and filesystem access. Based on the pledge utility for Linux by Justine Tunney☆22Updated last year
- Architecture mapping proofs written in Agda for the paper "Lasagne: A Static Binary Translator for Weak Memory Model Architectures"☆14Updated 3 years ago
- kernel dump helpers☆24Updated last week
- 🧹🧹🧹 File expiration for any filesystem☆46Updated 2 years ago
- ☆34Updated 2 years ago