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☆33Updated 10 years ago
- x86 Dynamic Binary Translator Library☆34Updated 4 years ago
- Hacks and experiments for the linux kernel VM subsystem.☆23Updated 2 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 7 years ago
- Modular Provable Security on Commodity System and Application Software Stacks☆13Updated 3 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- ☆70Updated 5 years ago
- Two stage x86 boot loader and preliminary kernel code which are combined into single binary file to be flashed to PCI expansion card with…☆35Updated 8 years ago
- Unit tests for the kernel virtual machine (KVM)☆13Updated 4 years ago
- Intel Kernel Guard Technology Core Repo☆55Updated last year
- Dump privileged ARM system registers from usermode using variant 3a of Meltdown☆243Updated 7 years ago
- Fast Binary Translator for the Kernel☆27Updated 11 years ago
- Secure EFI Loader designed to authenticate the non-PE files☆48Updated 2 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- ☆106Updated 6 years ago
- deprecated☆46Updated 6 years ago
- Sample code for ARM hardware virtualization☆10Updated 10 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆70Updated last year
- A hypervisor or virtual machine monitor (VMM) fuzzer☆28Updated 5 years ago
- VMI on BitVisor to detect hidden rootkits.☆26Updated 8 years ago
- Dump page tables on various OSes and analyze them☆28Updated 9 years ago
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆84Updated 11 years ago
- Tracing framework for full system simulators☆56Updated 9 years ago
- Fork of KVM with Virtual Machine Introspection patches☆36Updated last year
- PCI device for qemu with mmio, pio, dma☆74Updated 8 years ago
- ☆55Updated 2 years ago
- ☆74Updated 2 years ago
- ☆34Updated 2 years ago
- ☆90Updated last year
- A network interface for GDB for Linux Kernel☆69Updated last year