NOVA Microhypervisor
☆11Aug 25, 2026Updated 2 months ago
Alternatives and similar repositories for NOVA
Users that are interested in NOVA are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- NOVA runtime environment (official branch)☆36Jul 1, 2021Updated 5 years ago
- Collection of community-maintained components for Genode (migrated to codeberg.org)☆52May 20, 2026Updated 5 months ago
- NOVA userland☆50Jan 6, 2014Updated 12 years ago
- Tool for streamlining the development of Genode applications (migrated to codeberg.org)☆31Feb 6, 2026Updated 8 months ago
- Reference manual for the Genode OS Framework (migrated to codeberg.org)☆24Oct 30, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Website for stories around the Genode operating system (migrated to codeberg.org)☆19May 20, 2026Updated 5 months ago
- Raspberry Pi family support for Genode OS framework (migrated to codeberg.org)☆17Jan 29, 2026Updated 9 months ago
- A professional, asynchronous CLI tool to automate XRP claims from Faucetearner.org. Built with modern Python standards for efficiency and…☆11Aug 20, 2025Updated last year
- Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)☆1,249May 20, 2026Updated 5 months ago
- A vendor-independent encrypted folder format optimized for synchronization☆15Oct 20, 2026Updated last week
- A standard QEMU tree with KVM for ARM patches☆14Feb 29, 2024Updated 2 years ago
- A L4.X2 compatible microkernel☆15Jul 8, 2022Updated 4 years ago
- Pure Nix library to make Flakes usable☆13Aug 25, 2025Updated last year
- Allwinner SoC support for the Genode OS framework (migrated to codeberg.org)☆17May 20, 2026Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆12Updated this week
- Minimal ncurses implementation for use in embedded environments☆12Oct 29, 2017Updated 9 years ago
- Volt text editor. Written entirely in Vlang☆20Sep 17, 2026Updated last month
- Find out everything there is to know about your hardware.☆15Oct 17, 2026Updated 2 weeks ago
- Xen Test Framework☆10Oct 30, 2025Updated last year
- NixOS Build and Deployment Tool with Configuration Sanity Checking Capabilities [maintainer=@tfc]☆14Sep 18, 2025Updated last year
- Intel AMT Serial-Over-LAN (SOL) client☆13Feb 23, 2024Updated 2 years ago
- NOVA Microhypervisor☆464Updated this week
- NixOS modules to use Intel SR-IOV graphics acceleration☆12Sep 3, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A multi-purpose extensible self-adaptive evolutionary tool☆14Aug 14, 2024Updated 2 years ago
- L4Ka::Pistachio micro-kernel☆303Oct 14, 2019Updated 7 years ago
- Front-end for Spin to generate swarm verification scripts☆13Mar 10, 2019Updated 7 years ago
- Primary GIT Repository for the Zephyr Project☆13Updated this week
- AMD64 POSIX Operating System that I will use as my primary one.☆17Feb 4, 2026Updated 8 months ago
- Genode OS Framework☆17May 20, 2026Updated 5 months ago
- 🍒 Rust - Experimental port of Rust to CHERI architectures☆16Updated this week
- GraalVM: Run Programs Faster Anywhere 🚀☆14Oct 26, 2026Updated last week
- NOVA Microhypervisor☆12Jul 1, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- LLFree: Lock- and Log-free Allocator☆12Sep 17, 2026Updated last month
- Apex memmove of T. Herselman☆14Sep 22, 2016Updated 10 years ago
- TinyFS is a simple file system.☆11Feb 8, 2015Updated 11 years ago
- Threaded IO Benchmark☆21Oct 28, 2024Updated 2 years ago
- Firmware update log☆13Apr 12, 2021Updated 5 years ago
- 一些方便大家使用 BIT 相关网站的用户脚本和用户样式表。☆14Oct 26, 2026Updated last week
- A collection of curated modules that work great with Cyberus Linux (and NixOS)☆23Sep 29, 2026Updated last month