hcyang1012 / ARM_HypervisorLinks
☆19Updated 10 years ago
Alternatives and similar repositories for ARM_Hypervisor
Users that are interested in ARM_Hypervisor are comparing it to the libraries listed below
Sorting:
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Updated 4 years ago
- Tiny ELF loader☆137Updated 2 years ago
- uefi app/bootloader development sandbox☆15Updated 9 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…☆36Updated 8 years ago
- 64bit bare metal hypervisor built from scratch with Intel VT-x☆93Updated 5 years ago
- Basic tools for building seL4 projects☆52Updated this week
- EFI Byte Code Virtual Machine in userspace☆81Updated 2 years ago
- UEFI, on Loongson.☆14Updated 9 years ago
- UEFI app to load ELF and Raw binary☆30Updated 10 years ago
- ☆112Updated 6 years ago
- Unit tests for the kernel virtual machine (KVM)☆13Updated 4 years ago
- ☆29Updated 9 years ago
- UEFI boot loader☆80Updated 3 years ago
- NOVA userland☆48Updated 11 years ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 8 years ago
- NOVA runtime environment (official branch)☆35Updated 4 years ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆61Updated 4 years ago
- ☆61Updated this week
- The Bear Operating System☆24Updated 8 years ago
- A basic microkernel☆37Updated 12 years ago
- Xvisor: eXtensible Versatile hypervISOR☆89Updated 3 weeks ago
- A Linux based Windows compatible user mode kernel☆59Updated 16 years ago
- Hypervisor implementation for x86_64 ISA MIT JOS☆34Updated 11 years ago
- my homebrew OS☆33Updated 5 years ago
- Codezero Microkernel☆111Updated 3 years ago
- PCI device for qemu with mmio, pio, dma☆76Updated 9 years ago
- NOVA Microhypervisor☆436Updated this week
- Mirror of git.qemu.org/seabios.git☆70Updated 3 months ago
- An ELF loader for embedded systems.☆162Updated 7 years ago
- Modular kernel built for simplicity☆93Updated 8 years ago