NOVA userland
☆49Jan 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
Sorting:
- NOVA runtime environment (official branch)☆35Jul 1, 2021Updated 4 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Jun 30, 2021Updated 4 years ago
- NOVA Microhypervisor☆444Dec 8, 2025Updated 2 months ago
- RTOS based on L4 microkernel.☆18Sep 18, 2018Updated 7 years ago
- Xcode-compatible build tool. Forked for PureDarwin☆13Jul 19, 2024Updated last year
- Benchmark suite for real-time behavior, including interrupt latency and context switching times☆15Oct 20, 2021Updated 4 years ago
- The PureDarwin XNU Kernel -- This Kernel is considered Experimental and should be used with caution!☆14Sep 23, 2020Updated 5 years ago
- Classes and command-line utilities for interacting with BibTeX style databases☆17Nov 12, 2023Updated 2 years ago
- Gratipay's financial accounting system☆13Jun 24, 2017Updated 8 years ago
- RISC-V BSV Specification☆23Jan 18, 2020Updated 6 years ago
- Darwin Foundation (CoreFoundation & PureFoundation)☆17Jul 9, 2018Updated 7 years ago
- RISC-V Specific Device Tree Documentation☆42Jul 9, 2024Updated last year
- The PureDarwin dynamic loader☆16Jul 20, 2020Updated 5 years 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
- ☆18May 7, 2024Updated last year
- Imaginary is a system for building fictional, interactive worlds via parallel, intersecting simulations.☆37Feb 6, 2022Updated 4 years ago
- Hexley is the mascot for Apple's open source operating system Darwin. Jon Hooper created the design which was then named after Darwin's a…☆25Jul 17, 2015Updated 10 years ago
- This repository is just an archive. Rudel has moved to http://git.savannah.gnu.org/cgit/emacs/elpa.git/?h=externals/rudel☆40Aug 1, 2010Updated 15 years ago
- RISC-V Frontend Server☆64Mar 31, 2019Updated 6 years ago
- LLVM backend for OpenRISC 1000☆28Apr 6, 2018Updated 7 years ago
- ZFS Boot Environment manager (new development moved to zectl)☆62Mar 19, 2020Updated 5 years ago
- The Weston Wayland Compositor☆41Apr 14, 2014Updated 11 years ago
- A command line tool that reads a HyperCard stack and generates a folder with XML and PBM files from it containing a more easily readable …☆42Jul 2, 2022Updated 3 years ago
- ⚗️ The Abstract Toolkit - a widget toolkit for GUI and text-mode applications☆31May 6, 2024Updated last year
- Genode OS Framework☆1,212Updated this week
- updated fork of libdnet from https://code.google.com/p/libdnet/☆37Jun 11, 2017Updated 8 years ago
- Component Architecture test suite and example apps.☆34Aug 15, 2025Updated 6 months ago
- Metacircular evaluator for a tiny fexpr language☆44Apr 28, 2012Updated 13 years ago
- ☆32Jul 11, 2022Updated 3 years ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆200Jul 23, 2025Updated 7 months ago
- Conversion tools for grub's awful PFF2/pf2 font format.☆10May 28, 2023Updated 2 years ago
- A function invocation framework for Python☆11Feb 21, 2024Updated 2 years ago
- vTPM with SGX protection☆11May 30, 2019Updated 6 years ago
- goat-based command-line arg parser☆39Dec 9, 2021Updated 4 years ago
- Linux Distribution Build Tool by Daniel Robbins☆81Nov 11, 2019Updated 6 years ago
- Virtual machine monitor for L4Re☆34Updated this week
- The development version of the L4Re Microkernel☆157Feb 20, 2026Updated last week
- A Unicode 15-conformant implementation of wcwidth() in C.☆44Dec 16, 2022Updated 3 years ago
- mpool UAPI and CLI for HSE 1.x☆36Aug 20, 2021Updated 4 years ago