xen-project / mini-os
Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)
☆19Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for mini-os
- Hypervisor implementation for x86_64 ISA MIT JOS☆33Updated 10 years ago
- BIOS-based boot menu and loader☆16Updated 8 years ago
- deprecated☆46Updated 5 years ago
- ☆27Updated 8 years ago
- Multicore x64 kernel with a focus on introspection and debugging capabilities.☆59Updated 4 months ago
- Secure EFI Loader designed to authenticate the non-PE files☆47Updated 2 years ago
- Fork of http://code.nsnam.org/thehajime/elf-loader/ for unlimited dlmopen namespaces☆18Updated last year
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆63Updated 8 months 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…☆33Updated 7 years ago
- bareflank based hypervisor with guest support☆59Updated 4 years ago
- Support UEFI load☆10Updated 9 years ago
- uber eXtensible Micro-Hypervisor Framework☆29Updated 5 months ago
- The x86_64 UEFI bootloader for rCore☆43Updated 2 years ago
- The Bear Operating System☆24Updated 7 years ago
- Unit tests for the kernel virtual machine (KVM)☆14Updated 3 years ago
- x86 Dynamic Binary Translator Library☆34Updated 3 years ago
- VMI on BitVisor to detect hidden rootkits.☆26Updated 7 years ago
- Tracing framework for full system simulators☆54Updated 9 years ago
- Intel Kernel Guard Technology Core Repo☆55Updated 7 months ago
- 64bit bare metal hypervisor built from scratch with Intel VT-x☆84Updated 4 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- The Bareflank Processor Abstraction Layer☆37Updated 2 years ago
- Modular Provable Security on Commodity System and Application Software Stacks☆13Updated 2 years ago
- ☆70Updated 4 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆41Updated 3 years ago
- Basic tools for building seL4 projects☆43Updated 3 months ago
- A simple library focusing on demangling symbols for different programing languages☆41Updated 3 years ago
- The Hedron Microhypervisor☆75Updated last year
- Tool for findings bugs in epoll-based Linux servers☆28Updated 4 years ago
- A simple Aarch64 hypervisor for Raspberry Pi☆32Updated 4 years ago