NOVA runtime environment (official branch)
☆35Jul 1, 2021Updated 4 years ago
Alternatives and similar repositories for NRE
Users that are interested in NRE are comparing it to the libraries listed below
Sorting:
- NOVA userland☆49Jan 6, 2014Updated 12 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
- The PureDarwin XNU Kernel -- This Kernel is considered Experimental and should be used with caution!☆14Sep 23, 2020Updated 5 years ago
- tenjint is a Python 3-based platform for virtual machine introspection (VMI) on x86 and ARM. This is main Python 3 tenjint library.☆11Feb 9, 2021Updated 5 years ago
- Classes and command-line utilities for interacting with BibTeX style databases☆17Nov 12, 2023Updated 2 years ago
- Darwin Foundation (CoreFoundation & PureFoundation)☆17Jul 9, 2018Updated 7 years ago
- RISC-V BSV Specification☆23Jan 18, 2020Updated 6 years ago
- Cross-platform driver for the USB 3 xHCI Debug Capability☆20Oct 21, 2021Updated 4 years ago
- RISC-V Specific Device Tree Documentation☆42Jul 9, 2024Updated last year
- ☆19May 9, 2025Updated 9 months ago
- A make(1) replacement in Scheme (R6RS version)☆19May 11, 2011Updated 14 years ago
- 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
- Collection of community-maintained components for Genode (migrated to codeberg.org)☆51Jan 29, 2026Updated last month
- RTOS based on L4 microkernel.☆18Sep 18, 2018Updated 7 years ago
- NOVA Microhypervisor☆21Dec 8, 2025Updated 2 months ago
- Virtual Machine built as a CAmkES component.☆24Aug 15, 2025Updated 6 months ago
- 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
- LLVM backend for OpenRISC 1000☆28Apr 6, 2018Updated 7 years ago
- An implementation of the char8_t remediation approaches discussed in P1423 (https://wg21.link/p1423).☆25May 5, 2022Updated 3 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 Weston Wayland Compositor☆41Apr 14, 2014Updated 11 years ago
- Community site for microkernel projects.☆30Dec 30, 2025Updated 2 months ago
- Highly composable C++17 template meta programming library☆39Mar 2, 2019Updated 6 years ago
- A lisp compiler for the AVM2.☆94Jan 29, 2011Updated 15 years ago
- Component Architecture test suite and example apps.☆34Aug 15, 2025Updated 6 months ago
- The main CAmkES tool☆27Nov 25, 2025Updated 3 months ago
- Helper library for userspace access to /dev/dxg☆36Feb 2, 2026Updated 3 weeks ago
- carmarketplace app demonstrates a spring boot microservices app with everything you need to run it in PRODUCTION.☆10Sep 26, 2025Updated 5 months ago
- Microkernel-based system for heterogeneous manycores☆113Sep 14, 2020Updated 5 years ago
- A small C like scripting language with a few small novel features.☆29Oct 6, 2016Updated 9 years ago
- Windows Kernel Driver library for Rust developers☆36Jan 23, 2021Updated 5 years ago
- ☆32Jul 11, 2022Updated 3 years ago
- vTPM with SGX protection☆11May 30, 2019Updated 6 years ago
- A function invocation framework for Python☆11Feb 21, 2024Updated 2 years ago
- ☆11Feb 4, 2018Updated 8 years ago
- Qubes component: vmm-xen☆38Feb 20, 2026Updated last week