cl91 / NeptuneOSLinks
Neptune OS: A Windows NT personality for the seL4 microkernel
☆412Updated 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☆130Updated last month
- LAI is an interpreter for AML, the ACPI Machine Language.☆189Updated last week
- Vanadium OS☆114Updated 7 years ago
- The first C compiler ported to x86☆196Updated 4 years ago
- Port of Doom to UEFI.☆303Updated 11 months ago
- A runtime environment for Haiku applications.☆66Updated 3 months ago
- A mirror of TinyBIOS repository☆313Updated last week
- An operating system kernel for RISC-V and AArch64 SBCs☆139Updated 2 years ago
- osFree - open source Operating System/2 clone, usermode parts.☆125Updated this week
- All-new engine of the @GreenteaOS☆249Updated 2 weeks ago
- Linux (and other kernels) distro with no GNU components☆238Updated last month
- ☆425Updated last year
- Microsoft Research Singularity RDK 2.0 Source☆63Updated 5 years ago
- VMware mouse driver for Windows 3.1☆359Updated 2 months ago
- An experimental dotnet based kernel☆39Updated 2 weeks ago
- The RISC-V Virtual Machine☆1,137Updated last week
- Get PC BIOS back on UEFI only system☆596Updated 2 months ago
- A UEFI 64bit Bootloader☆150Updated 4 years ago
- windows emulator☆652Updated 2 months ago
- First published Open Source implementation of OpenFirmware☆405Updated 2 months ago
- A portable and easy-to-integrate implementation of the Advanced Configuration and Power Interface (ACPI)☆258Updated last month
- FreeDOS plus-plus, 64bit DOS☆226Updated 3 weeks ago
- ia64 (Itanium) instruction set simulator. Fork of http://ski.sourceforge.net☆52Updated last week
- The Chariot Operating System☆48Updated 2 years ago
- Paging operating system for a custom computer architecture☆98Updated 3 months ago
- progman.exe^H^H^H^H☆563Updated last year
- Mirror of codeberg's repository☆167Updated this week
- User-space of the @GreenteaOS☆133Updated last month
- The stivale boot protocols' specifications and headers.☆110Updated 3 years ago
- A modern x86/ARM bootloader supporting both BIOS and UEFI☆49Updated 8 months ago