alex-ab / NOVALinks
NOVA Microhypervisor
☆9Updated last week
Alternatives and similar repositories for NOVA
Users that are interested in NOVA are comparing it to the libraries listed below
Sorting:
- NOVA userland☆48Updated 11 years ago
- Reference manual for the Genode OS Framework☆24Updated last month
- The development version of the L4Re Microkernel☆130Updated last week
- The core components of the L4Re operating system.☆87Updated last week
- Virtual machine monitor for L4Re☆31Updated last week
- NOVA Microhypervisor☆396Updated 3 weeks ago
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆38Updated 6 months ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- Collection of community-maintained components for Genode☆47Updated last week
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Updated 3 years ago
- Xvisor: eXtensible Versatile hypervISOR☆88Updated last month
- Formal verification of SecVisor, a secure hypervisor☆12Updated 12 years ago
- Linux kernel build scripts and patches for Fedora/RISC-V☆16Updated 6 years ago
- QEMU with support for CHERI☆58Updated last month
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- Basic tools for building seL4 projects☆48Updated this week
- Genode OS Framework☆17Updated last week
- ☆52Updated 10 years ago
- L4Ka::Pistachio micro-kernel☆281Updated 5 years ago
- Documentation related to POWER9 coreboot porting effort☆13Updated 2 years ago
- QEMU/OVMF/SWTPM UEFI Secure Boot development environment☆13Updated 3 years ago
- MUSL libc port for UEFI☆11Updated 7 years ago
- My gnu-efi development tree.☆72Updated 3 months ago
- Website for stories around the Genode operating system☆17Updated 3 months ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆23Updated this week
- Secure Virtual Architecture☆42Updated 6 years ago
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- UEFI boot loader☆79Updated 2 years ago
- OpenBSD/L4 port☆17Updated 8 years ago