nuta / hypervisor-in-1000-linesLinks
Writing a hypervisor in 1,000 lines.
☆255Updated 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.☆402Updated this week
- The Xr0 Verifier for C☆178Updated 6 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
- A windows debugger written in Rust, for educational purposes☆160Updated last year
- AOT binary translator of Linux/ELF → (WebAssembly, ...)☆283Updated this week
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆209Updated 2 months ago
- userspace nvme driver☆104Updated 3 months ago
- tvisor is a tiny 100% userspace syscall interception framework☆44Updated last year
- Experimental Type-2 hypervisor, written from scratch in Rust, runs on Linux and macOS.☆290Updated this week
- Inspect and dissect an ELF file with pretty formatting.☆115Updated last year
- A Rust crate for creating memory dumps of running processes on Linux☆61Updated 4 months ago
- a tool for reinterpreting ELF executables and shared libraries☆330Updated 11 months ago
- QEMU for Rust, and Rust for QEMU☆79Updated last month
- 🌐🐧 Browsable Linux kernel syscall tables built with Systrack (https://github.com/mebeim/systrack)☆202Updated 2 weeks ago
- Template to implement Linux kernel schedulers in Rust running in user-space☆26Updated 8 months ago
- xv6 OS☆246Updated 3 weeks ago
- Compiling C to FlipJump☆94Updated 9 months ago
- Build your own - linker☆207Updated 4 years ago
- A low-level virtualization interface for Linux-based systems using WebAssembly☆153Updated this week
- In-memory x86-64 assembler for JIT compiler.☆77Updated 6 months ago
- A playground to build C/C++/Go/Fortran applications on top of RustyHermit☆39Updated last year
- A specialized hypervisor for Hermit.☆274Updated this week
- An implementation of the NTFS filesystem in a Rust crate, usable from firmware level up to user-mode.☆569Updated last year
- Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI☆176Updated last month
- HPC research and demonstrations☆101Updated this week
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆784Updated 4 months ago
- libLISA: Instruction Discovery and Analysis on x86-64☆118Updated 8 months ago
- The Hermit bootloader.☆79Updated last week
- Provides easy-to-use Linux seccomp-bpf jailing.☆100Updated 3 weeks ago
- An online assembly editor, emulator and debugger for the x86-64 architecture☆298Updated last week