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
- hvisor tool for root linux, includes CLI, Virtio daemon and hvisor kernel module☆14Updated this week
- RISC-V BSV Specification☆23Jan 18, 2020Updated 6 years ago
- RTOS based on L4 microkernel.☆18Sep 18, 2018Updated 7 years ago
- Xcode-compatible build tool. Forked for PureDarwin☆13Jul 19, 2024Updated last year
- Gratipay's financial accounting system☆13Jun 24, 2017Updated 8 years ago
- Darwin Foundation (CoreFoundation & PureFoundation)☆17Jul 9, 2018Updated 7 years ago
- The PureDarwin XNU Kernel -- This Kernel is considered Experimental and should be used with caution!☆14Sep 23, 2020Updated 5 years ago
- c++ disassembly library☆15May 22, 2017Updated 8 years ago
- Fork of the ski ia64 emulator☆12May 15, 2016Updated 9 years ago
- The Lively Projectional Editor is an implementation of a projectional editor for Lively 4. It offers a dual editing workflow: A text proj…☆16Apr 27, 2017Updated 8 years ago
- GCC 5.1.1 cross-compiler for Intel Xeon Phi Knights Corner / k1om☆23Mar 29, 2016Updated 9 years ago
- Classes and command-line utilities for interacting with BibTeX style databases☆17Nov 12, 2023Updated 2 years ago
- ☆18May 7, 2024Updated last year
- L'Abbaye des Morts 1.12 for GCW-Zero, forked from http://code.google.com/p/abbaye-for-linux/☆12Feb 9, 2014Updated 12 years ago
- Pijul <-> Git proxy☆22May 31, 2019Updated 6 years ago
- Genode OS Framework☆1,226Updated this week
- *DEPRECATED* Intel's Hardware Accelerated Execution Manager (ripped) SDK☆15Dec 8, 2017Updated 8 years ago
- ☆43Oct 1, 2018Updated 7 years ago
- Documentation for 3D commands on Virgl3D☆29Apr 23, 2019Updated 6 years ago
- Xen hypercall and interfaces in Rust☆16Jan 14, 2025Updated last year
- Virtual I/O acceleration technologies for KVM☆15Sep 17, 2013Updated 12 years ago
- ☆21Jul 24, 2021Updated 4 years ago
- All CPU and MCU documentation in one place☆13Sep 7, 2018Updated 7 years ago
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated last year
- 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
- Building My Dream Computer☆10Dec 2, 2022Updated 3 years ago
- x86 code manipulation☆21Jun 9, 2015Updated 10 years ago
- The development version of the L4Re Microkernel☆157Mar 13, 2026Updated last week
- PlayStation Console Emulators For All☆10Mar 13, 2017Updated 9 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆42Dec 11, 2022Updated 3 years ago
- 2D game engine with a modern intuitive API and a decoupled plugin system☆14Mar 23, 2024Updated 2 years ago
- A cosmic, polyphonic, additive FM synthesizer.☆20Apr 6, 2023Updated 2 years ago
- Lab Mouse Security research pertaining to RISC-V☆11May 13, 2017Updated 8 years ago
- LLVM backend for OpenRISC 1000☆28Apr 6, 2018Updated 7 years ago
- Component Architecture test suite and example apps.☆34Updated this week
- Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V☆75Apr 17, 2025Updated 11 months ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆200Jul 23, 2025Updated 7 months ago