NOVA userland
☆50Jan 6, 2014Updated 12 years ago
Alternatives and similar repositories for NUL
Users that are interested in NUL 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
- NOVA Microhypervisor☆12Jul 1, 2021Updated 5 years ago
- Website for stories around the Genode operating system (migrated to codeberg.org)☆19May 20, 2026Updated 5 months ago
- Genode OS Framework☆17May 20, 2026Updated 5 months ago
- Tool for streamlining the development of Genode applications (migrated to codeberg.org)☆31Feb 6, 2026Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Reference manual for the Genode OS Framework (migrated to codeberg.org)☆24Oct 30, 2025Updated last year
- Collection of community-maintained components for Genode (migrated to codeberg.org)☆52May 20, 2026Updated 5 months ago
- A L4.X2 compatible microkernel☆15Jul 8, 2022Updated 4 years ago
- NOVA Microhypervisor☆11Aug 25, 2026Updated 2 months ago
- NOVA Microhypervisor☆22Aug 28, 2026Updated 2 months ago
- Allwinner SoC support for the Genode OS framework (migrated to codeberg.org)☆17May 20, 2026Updated 5 months ago
- Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)☆1,249May 20, 2026Updated 5 months ago
- Intel AMT Serial-Over-LAN (SOL) client☆13Feb 23, 2024Updated 2 years ago
- Community site for microkernel projects.☆35Sep 13, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Tool to convert plain text to LaTeX, HTML, and other formats (migrated to codeberg.org)☆13Feb 5, 2026Updated 8 months ago
- L4Ka::Pistachio micro-kernel☆303Oct 14, 2019Updated 7 years ago
- Basic tools for building seL4 projects☆57Updated this week
- The Milkymist GUI toolkit (Genode FX based), because X11 sucks!☆14Jul 12, 2011Updated 15 years ago
- An x86-64 instruction decoder.☆16Mar 11, 2024Updated 2 years ago
- A CAN bus controller driver using virtio.☆12Apr 30, 2015Updated 11 years ago
- XtratuM Mirror☆21Apr 7, 2017Updated 9 years ago
- x86-64 kernel☆11Jul 10, 2022Updated 4 years ago
- Old analysis plugins for OSATE2 repository, kept for reference☆13May 16, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Raspberry Pi family support for Genode OS framework (migrated to codeberg.org)☆17Jan 29, 2026Updated 9 months ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆198Jul 23, 2025Updated last year
- Node wrapper around WireShark's tshark packet processor☆13Mar 20, 2014Updated 12 years ago
- Realtime network traffic display in your web browser☆14Aug 24, 2010Updated 16 years ago
- The Virtual Machine Monitor for the Cyberus Hypervisor. Ask us for commercial support!☆28Oct 24, 2026Updated last week
- Project to build and test seL4 for many different platforms☆19Updated this week
- a module for a demostack configuration of bounday☆13Jan 17, 2024Updated 2 years ago
- ☆14Apr 8, 2021Updated 5 years ago
- ☆22Mar 1, 2026Updated 7 months 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.
- Microkernel-based system for heterogeneous manycores☆118Jul 30, 2026Updated 3 months ago
- ☆12Oct 12, 2026Updated 2 weeks ago
- A streaming interface for the node-amqp nodejs module☆14Oct 29, 2012Updated 14 years ago
- Experimental setup of "Intel MPX explained"☆29Feb 4, 2020Updated 6 years ago
- A vendor-independent encrypted folder format optimized for synchronization☆15Oct 20, 2026Updated last week
- Email Message library for Rust☆24Nov 10, 2018Updated 7 years ago
- Home of the operational semantics team, used primarily for procedural items☆23Sep 14, 2026Updated last month