vishmohan / vmlaunch
Simple Driver code for vmlaunch
☆159Updated 7 years ago
Alternatives and similar repositories for vmlaunch:
Users that are interested in vmlaunch are comparing it to the libraries listed below
- Microcode parser for AMD, Intel, and VIA processors☆133Updated 9 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- ☆70Updated 4 years ago
- Notes on various topics I'm interested in☆157Updated 9 years ago
- a bare metal (type 1) VMM (hypervisor) with a python remote control API☆181Updated 7 years ago
- ☆85Updated 7 years ago
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆55Updated 7 years ago
- portable libc optimized for code size and readability☆81Updated 8 years ago
- Transform vmlinuz into a fully debuggable vmlinux that can be used with /proc/kcore☆128Updated 5 months ago
- Linux i386 tool to load and execute ME modules.☆130Updated 4 years ago
- A static checker for identifying unstable code.☆361Updated 9 years ago
- A Turing complete ROP compiler☆319Updated 11 years ago
- ☆173Updated 2 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆65Updated last year
- Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode☆336Updated 6 years ago
- JIT Assembler Library for multiple ISAs☆74Updated 10 years ago
- Load-time selective binary rewriting☆156Updated 2 years ago
- Docs and resources on CPU Speculative Execution bugs☆373Updated 7 years ago
- A minimal toy implementation of strace(1)☆175Updated last year
- Steps to build the Linux kernel using Clang☆99Updated 3 years ago
- Instructions database and utilities for X86/X64 and ARM (THUMB/A32/A64) architectures.☆331Updated last year
- A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system☆22Updated 10 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆179Updated 6 years ago
- Secure Virtual Architecture☆42Updated 5 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆69Updated 8 years ago
- ikgt manifest☆42Updated 2 years ago
- NOVA Microhypervisor☆390Updated 2 weeks ago
- Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic☆86Updated 3 years ago
- A tool dedicated to the research of vulnerabilities in hypervisors by creating unusual system configurations.☆185Updated 2 years ago
- Fast and efficient binary translator☆58Updated 6 years ago