alex-ab / NOVALinks
NOVA Microhypervisor
☆11Updated this week
Alternatives and similar repositories for NOVA
Users that are interested in NOVA are comparing it to the libraries listed below
Sorting:
- L4Ka::Pistachio micro-kernel☆295Updated 6 years ago
- NOVA Microhypervisor☆442Updated last month
- The development version of the L4Re Microkernel☆154Updated this week
- Genode OS Framework☆1,196Updated last week
- Reference manual for the Genode OS Framework☆24Updated 2 months ago
- NOVA userland☆48Updated 12 years ago
- The core components of the L4Re operating system.☆99Updated last week
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆41Updated 3 years ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆200Updated this week
- Tutorials for working with seL4 and/or CAmkES.☆59Updated 6 months ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆200Updated 6 months ago
- Genode OS Framework☆17Updated 2 weeks ago
- Xvisor: eXtensible Versatile hypervISOR☆600Updated 2 months ago
- Microkernel-based system for heterogeneous manycores☆113Updated 5 years ago
- Easily build and run CHERI related projects☆85Updated last week
- Xvisor: eXtensible Versatile hypervISOR☆89Updated last week
- A component-based OS☆199Updated this week
- L4Ka::Hazelnut micro-kernel☆37Updated 10 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆110Updated 3 years ago
- OPAL boot and runtime firmware for POWER☆110Updated last month
- An Efficient and Retargetable Dynamic Binary Translator on Multicores☆32Updated 10 months ago
- Akaros Operating System☆326Updated 3 years ago
- My gnu-efi development tree.☆70Updated 11 months ago
- QEMU with support for CHERI☆64Updated 2 weeks ago
- A sandboxed execution environment for unikernels☆967Updated 2 months ago
- seL4 specification and proofs☆585Updated last week
- ☆53Updated 11 years ago
- Semantics of x86-64 in K☆169Updated 5 years ago
- Pedigree operating system☆93Updated 9 years ago
- ☆211Updated 3 years ago