alex-ab / NOVALinks
NOVA Microhypervisor
☆9Updated 3 weeks ago
Alternatives and similar repositories for NOVA
Users that are interested in NOVA are comparing it to the libraries listed below
Sorting:
- Reference manual for the Genode OS Framework☆24Updated 2 weeks ago
- NOVA userland☆48Updated 11 years ago
- The development version of the L4Re Microkernel☆132Updated this week
- Xvisor: eXtensible Versatile hypervISOR☆88Updated 2 months ago
- The core components of the L4Re operating system.☆89Updated this week
- Allwinner SoC support for the Genode OS framework☆16Updated 3 weeks ago
- Collection of community-maintained components for Genode☆47Updated this week
- Virtual machine monitor for L4Re☆31Updated this week
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Updated 3 years ago
- Website for stories around the Genode operating system☆17Updated 2 weeks ago
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆40Updated 7 months ago
- QEMU with support for CHERI☆58Updated 3 weeks ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- NOVA Microhypervisor☆401Updated last month
- Secure Virtual Architecture☆42Updated 6 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- Documentation related to POWER9 coreboot porting effort☆13Updated 2 years ago
- PowerPC FSI Debugger☆18Updated last week
- Genode OS Framework☆17Updated last week
- NOVA runtime environment (official branch)☆34Updated 3 years ago
- ☆52Updated 10 years ago
- ☆70Updated 5 years ago
- ☆29Updated 6 years ago
- Formal verification of SecVisor, a secure hypervisor☆12Updated 12 years ago
- Virtio draft specification☆65Updated 11 years ago
- SerialICE is a flexible, software based system software debugger☆32Updated 2 years ago
- ☆40Updated 6 months ago
- L4Ka::Pistachio micro-kernel☆283Updated 5 years ago
- my homebrew OS☆33Updated 4 years ago
- Custom PSP app framework☆15Updated 4 years ago