hcyang1012 / ARM_HypervisorLinks
☆19Updated 9 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:
- ☆29Updated 9 years ago
- NOVA userland☆48Updated 11 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Updated 3 years ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 7 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
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- ☆106Updated 6 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 7 years ago
- 64bit bare metal hypervisor built from scratch with Intel VT-x☆93Updated 4 years ago
- UEFI app to load ELF and Raw binary☆29Updated 10 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 5 years ago
- ARM-based Hypervisor for Real-Time Embedded Systems☆18Updated 6 years ago
- Kernel-Mode-Linux☆24Updated 2 years ago
- UEFI, on Loongson.☆14Updated 8 years ago
- PCI device for qemu with mmio, pio, dma☆74Updated 8 years ago
- Tiny ELF loader☆135Updated 2 years ago
- Tutorial on making UEFI with CMake and VirtualBox/QEmu☆21Updated 7 years ago
- EFI Byte Code Virtual Machine in userspace☆79Updated 2 years ago
- my homebrew OS☆33Updated 4 years ago
- ☆70Updated 5 years ago
- Basic tools for building seL4 projects☆48Updated this week
- Virtual Machine built as a CAmkES component.☆23Updated 2 months ago
- A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system☆22Updated 10 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- UEFI boot loader☆79Updated 2 years ago
- Bootsector loading binary file from FAT32 partition☆21Updated 6 years ago
- Tiny Code Generator Library☆46Updated 4 years ago
- Codezero Microkernel☆108Updated 3 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago