cl91 / NeptuneOSLinks
Neptune OS: A Windows NT personality for the seL4 microkernel
☆394Updated 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☆120Updated 5 months ago
- LAI is an interpreter for AML, the ACPI Machine Language.☆186Updated last year
- A mirror of TinyBIOS repository☆310Updated this week
- The first C compiler ported to x86☆192Updated 4 years ago
- osFree - open source Operating System/2 clone, usermode parts.☆123Updated 3 months ago
- Linux (and other kernels) distro with no GNU components☆237Updated 7 months ago
- Port of Doom to UEFI.☆289Updated 6 months ago
- Contents from SunOS 4.1.3 SUNSRC CD-ROM☆182Updated 3 years ago
- Open source VPU side bootloader for Raspberry Pi.☆437Updated last month
- All-new engine of the @GreenteaOS☆239Updated last week
- Vanadium OS☆112Updated 7 years ago
- Inferno® is a distributed operating system. Inferno represents services and resources in a file-like name hierarchy, including devices, …☆634Updated 4 months ago
- Get PC BIOS back on UEFI only system☆447Updated this week
- The RISC-V Virtual Machine☆1,060Updated this week
- xv6 OS☆239Updated 2 months ago
- Microsoft Research Singularity RDK 2.0 Source☆63Updated 5 years ago
- Genode OS Framework☆1,129Updated this week
- VMware mouse driver for Windows 3.1☆348Updated 5 months ago
- A runtime environment for Haiku applications.☆61Updated last month
- FreeDOS plus-plus, 64bit DOS☆214Updated 2 weeks ago
- Clang-Built Musl Linux From Scratch☆122Updated last year
- progman.exe^H^H^H^H☆549Updated 7 months ago
- UEFI ELF Bootloader example☆95Updated 4 months ago
- An operating system kernel for RISC-V and AArch64 SBCs☆136Updated last year
- Unix on Windows 95 and NT Machines☆124Updated 2 years ago
- A portable and easy-to-integrate implementation of the Advanced Configuration and Power Interface (ACPI)☆218Updated last week
- A UEFI 64bit Bootloader☆149Updated 4 years ago
- Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.☆260Updated 3 years ago
- windows emulator☆635Updated 2 weeks ago
- The Nano-X Window System☆765Updated last month