vishmohan / vmlaunch
Simple Driver code for vmlaunch
☆159Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for vmlaunch
- Microcode parser for AMD, Intel, and VIA processors☆133Updated 8 years ago
- Pedagogical Hypervisor, based on MIT JOS☆66Updated 6 years ago
- ☆70Updated 4 years ago
- a bare metal (type 1) VMM (hypervisor) with a python remote control API☆180Updated 6 years ago
- Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode☆324Updated 6 years ago
- ☆85Updated 7 years ago
- TLB splitting VMM☆161Updated 8 years ago
- ikgt manifest☆42Updated 2 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆174Updated 5 years ago
- ☆110Updated 10 years ago
- JIT Assembler Library for multiple ISAs☆73Updated 9 years ago
- Notes on various topics I'm interested in☆157Updated 9 years ago
- Instructions database and utilities for X86/X64 and ARM (THUMB/A32/A64) architectures.☆328Updated last year
- ☆138Updated 6 years ago
- ☆279Updated last year
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆54Updated 7 years ago
- NOVA Microhypervisor☆378Updated this week
- A Turing complete ROP compiler☆316Updated 11 years ago
- Simple Intel CPU processor tracing on Linux☆343Updated last year
- portable libc optimized for code size and readability☆81Updated 8 years ago
- Linux i386 tool to load and execute ME modules.☆128Updated 3 years ago
- Secure Virtual Architecture☆42Updated 5 years ago
- HTML representation of the Intel x86 instructions documentation (June 2016).☆67Updated 7 years ago
- MSDOS emulator built on top of Unicorn engine☆132Updated 8 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆63Updated 7 months ago
- Fast and efficient binary translator☆58Updated 5 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆66Updated 8 years ago
- A minimal toy implementation of strace(1)☆170Updated last year