cl91 / NeptuneOSLinks
Neptune OS: A Windows NT personality for the seL4 microkernel
☆403Updated this week
Alternatives and similar repositories for NeptuneOS
Users that are interested in NeptuneOS are comparing it to the libraries listed below
Sorting:
- ExectOS Operating System☆125Updated this week
- Port of Doom to UEFI.☆289Updated 7 months ago
- Vanadium OS☆113Updated 7 years ago
- LAI is an interpreter for AML, the ACPI Machine Language.☆186Updated last year
- The first C compiler ported to x86☆193Updated 4 years ago
- osFree - open source Operating System/2 clone, usermode parts.☆124Updated this week
- A mirror of TinyBIOS repository☆311Updated 3 weeks ago
- Linux (and other kernels) distro with no GNU components☆236Updated 9 months ago
- ☆412Updated 8 months ago
- VMware mouse driver for Windows 3.1☆353Updated 6 months ago
- All-new engine of the @GreenteaOS☆245Updated last week
- Microsoft Research Singularity RDK 2.0 Source☆63Updated 5 years ago
- Just Monika☆72Updated last month
- Unix on Windows 95 and NT Machines☆124Updated 2 years ago
- A runtime environment for Haiku applications.☆62Updated this week
- An operating system kernel for RISC-V and AArch64 SBCs☆135Updated last year
- Get PC BIOS back on UEFI only system☆503Updated last week
- The RISC-V Virtual Machine☆1,083Updated this week
- progman.exe^H^H^H^H☆559Updated 8 months ago
- FreeDOS plus-plus, 64bit DOS☆217Updated this week
- windows emulator☆644Updated 2 weeks ago
- ia64 (Itanium) instruction set simulator. Fork of http://ski.sourceforge.net☆46Updated 3 months ago
- The Nano-X Window System☆782Updated 2 months ago
- Mirror of codeberg's repository☆161Updated last week
- BIOS for Intel 8088 based computers☆552Updated 6 months ago
- Contents from SunOS 4.1.3 SUNSRC CD-ROM☆183Updated 3 years ago
- The InitWare Suite of Middleware allows you to manage services and system resources as logical entities called units. Its main component …☆296Updated 11 months ago
- MinC Is Not Cygwin☆110Updated last week
- L4Ka::Pistachio micro-kernel☆286Updated 5 years ago
- An experimental dotnet based kernel☆39Updated last month