cl91 / NeptuneOSLinks
Neptune OS: A Windows NT personality for the seL4 microkernel
☆407Updated last 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☆126Updated this week
- LAI is an interpreter for AML, the ACPI Machine Language.☆186Updated last year
- All-new engine of the @GreenteaOS☆248Updated last month
- Vanadium OS☆113Updated 7 years ago
- Port of Doom to UEFI.☆291Updated 8 months ago
- An operating system kernel for RISC-V and AArch64 SBCs☆135Updated last year
- The first C compiler ported to x86☆193Updated 4 years ago
- Linux (and other kernels) distro with no GNU components☆236Updated 10 months ago
- Microsoft Research Singularity RDK 2.0 Source☆63Updated 5 years ago
- A mirror of TinyBIOS repository☆311Updated 3 weeks ago
- Get PC BIOS back on UEFI only system☆526Updated last week
- osFree - open source Operating System/2 clone, usermode parts.☆124Updated last week
- The RISC-V Virtual Machine☆1,098Updated this week
- ☆414Updated 9 months ago
- An experimental dotnet based kernel☆39Updated last month
- VMware mouse driver for Windows 3.1☆356Updated 7 months ago
- A UEFI 64bit Bootloader☆150Updated 4 years ago
- A runtime environment for Haiku applications.☆64Updated 3 weeks ago
- windows emulator☆646Updated last month
- progman.exe^H^H^H^H☆563Updated 9 months ago
- Use of a Linux initramfs to fully automate the bootstrapping process☆650Updated last week
- A portable and easy-to-integrate implementation of the Advanced Configuration and Power Interface (ACPI)☆235Updated last week
- Just Monika☆73Updated 2 months ago
- User-space of the @GreenteaOS☆131Updated 3 weeks ago
- MinC Is Not Cygwin☆110Updated this week
- UEFI ELF Bootloader example☆99Updated 6 months ago
- Contents from SunOS 4.1.3 SUNSRC CD-ROM☆183Updated 3 years ago
- First published Open Source implementation of OpenFirmware☆390Updated 11 months ago
- Paging operating system for a custom computer architecture☆96Updated last month
- FreeDOS plus-plus, 64bit DOS☆217Updated this week