kesl / khypervisorLinks
☆29Updated 9 years ago
Alternatives and similar repositories for khypervisor
Users that are interested in khypervisor are comparing it to the libraries listed below
Sorting:
- Hypervisor implementation for x86_64 ISA MIT JOS☆34Updated 11 years ago
- x86 Dynamic Binary Translator Library☆34Updated 4 years ago
- deprecated☆46Updated 6 years ago
- Unit tests for the kernel virtual machine (KVM)☆13Updated 4 years ago
- microVM☆51Updated 10 years ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆43Updated 6 years ago
- ☆74Updated 3 years ago
- Secure EFI Loader designed to authenticate the non-PE files☆48Updated 3 years ago
- Intel Kernel Guard Technology Core Repo☆56Updated last year
- VMI on BitVisor to detect hidden rootkits.☆27Updated 8 years ago
- deprecated☆19Updated 6 years ago
- ☆112Updated 6 years ago
- S2E Core Engine Library☆15Updated 5 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆82Updated 7 years ago
- ☆71Updated 5 years ago
- Tracing framework for full system simulators☆57Updated 10 years ago
- A hypervisor or virtual machine monitor (VMM) fuzzer☆28Updated 5 years ago
- A Linux based Windows compatible user mode kernel☆59Updated 16 years ago
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆85Updated 11 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆70Updated last year
- Modular Provable Security on Commodity System and Application Software Stacks☆13Updated 3 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Updated 4 years ago
- It is a tool to analyze the pattern of memory mapped file I/O using Intel pin.☆19Updated 7 years ago
- Fast Binary Translator for the Kernel☆28Updated 12 years ago
- ☆92Updated last year
- Kernel debugger using Intel VT-x. Designed to be compatible with linux, ucore, windows.☆28Updated 12 years ago
- Tiny project with that demonstrates how to enable Return Flow Guard☆12Updated 8 years ago
- A simple Windows x86-32 debugger☆10Updated 9 years ago
- Tiny Code Generator Library☆46Updated 4 years ago
- Dump page tables on various OSes and analyze them☆28Updated 9 years ago