nuta / hypervisor-in-1000-linesLinks
Writing a hypervisor in 1,000 lines.
☆293Updated 4 months ago
Alternatives and similar repositories for hypervisor-in-1000-lines
Users that are interested in hypervisor-in-1000-lines are comparing it to the libraries listed below
Sorting:
- An experimental modern general-purpose microkernel OS.☆431Updated this week
- QEMU on browser☆294Updated this week
- AOT binary translator of Linux/ELF → WebAssembly☆329Updated 3 weeks ago
- userspace nvme driver☆108Updated 7 months ago
- Experimental Type-2 hypervisor, written from scratch in Rust, runs on Linux and macOS.☆324Updated this week
- The Xr0 Verifier for C☆207Updated 9 months ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated last year
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆211Updated 5 months ago
- HPC research and demonstrations☆113Updated last month
- Inspect and dissect an ELF file with pretty formatting.☆116Updated last year
- A windows debugger written in Rust, for educational purposes☆161Updated last year
- QEMU for Rust, and Rust for QEMU☆87Updated 3 weeks ago
- 🌐🐧 Browsable Linux kernel syscall tables built with Systrack (https://github.com/mebeim/systrack)☆218Updated 3 months ago
- ☆141Updated 2 weeks ago
- a tool for reinterpreting ELF executables and shared libraries☆345Updated last year
- xv6 OS☆247Updated 4 months ago
- Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI☆202Updated 4 months ago
- tvisor is a tiny 100% userspace syscall interception framework☆45Updated last year
- A specialized hypervisor for Hermit.☆278Updated this week
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆492Updated last week
- A low-level virtualization interface for Linux-based systems using WebAssembly☆170Updated last week
- Compiling C to FlipJump☆96Updated last year
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆799Updated 7 months ago
- libLISA: Instruction Discovery and Analysis on x86-64☆123Updated 11 months ago
- A Rust crate for creating memory dumps of running processes on Linux☆64Updated 7 months ago
- A stupid Rust memory allocator☆195Updated 11 months ago
- Provides easy-to-use Linux seccomp-bpf jailing.☆104Updated 2 months ago
- BTF introspection tool☆40Updated 2 months ago
- A detour through the Linux dynamic linker☆516Updated 6 months ago
- Build your own - linker☆212Updated 4 years ago