nuta / hypervisor-in-1000-linesLinks
Writing a hypervisor in 1,000 lines.
☆265Updated last month
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.☆413Updated 3 weeks ago
- The Xr0 Verifier for C☆179Updated 6 months ago
- AOT binary translator of Linux/ELF → (WebAssembly, ...)☆294Updated last week
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆208Updated 2 months ago
- userspace nvme driver☆104Updated 4 months ago
- A windows debugger written in Rust, for educational purposes☆162Updated last year
- Experimental Type-2 hypervisor, written from scratch in Rust, runs on Linux and macOS.☆306Updated this week
- Inspect and dissect an ELF file with pretty formatting.☆115Updated last year
- tvisor is a tiny 100% userspace syscall interception framework☆44Updated last year
- HPC research and demonstrations☆109Updated 2 weeks ago
- a tool for reinterpreting ELF executables and shared libraries☆331Updated 11 months ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆66Updated last year
- QEMU for Rust, and Rust for QEMU☆80Updated 2 months ago
- A Rust crate for creating memory dumps of running processes on Linux☆61Updated 5 months ago
- xv6 OS☆245Updated last month
- Build your own - linker☆208Updated 4 years ago
- A stupid Rust memory allocator☆194Updated 8 months ago
- Compiling C to FlipJump☆94Updated 9 months ago
- ☆109Updated 3 weeks ago
- A detour through the Linux dynamic linker☆448Updated 3 months ago
- 🌐🐧 Browsable Linux kernel syscall tables built with Systrack (https://github.com/mebeim/systrack)☆203Updated last month
- libLISA: Instruction Discovery and Analysis on x86-64☆119Updated 8 months ago
- A specialized hypervisor for Hermit.☆276Updated this week
- A low-level virtualization interface for Linux-based systems using WebAssembly☆156Updated 2 weeks ago
- Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI☆184Updated last month
- An Operating System for Building Small Computers☆298Updated 9 months ago
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆788Updated 4 months ago
- Provides easy-to-use Linux seccomp-bpf jailing.☆101Updated last week
- In-memory x86-64 assembler for JIT compiler.☆77Updated 6 months ago
- Creating a minimal ELF file☆119Updated 6 months ago