cl91 / NeptuneOSLinks
Neptune OS: A Windows NT personality for the seL4 microkernel
☆420Updated 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☆130Updated last week
- LAI is an interpreter for AML, the ACPI Machine Language.☆187Updated last month
- Vanadium OS☆114Updated 7 years ago
- Port of Doom to UEFI.☆303Updated last year
- A mirror of TinyBIOS repository☆313Updated last month
- Microsoft Research Singularity RDK 2.0 Source☆63Updated 5 years ago
- The first C compiler ported to x86☆196Updated 4 years ago
- Linux (and other kernels) distro with no GNU components☆239Updated 2 months ago
- osFree - open source Operating System/2 clone, usermode parts.☆127Updated last week
- A runtime environment for Haiku applications.☆67Updated 5 months ago
- All-new engine of the @GreenteaOS☆255Updated last month
- UEFI ELF Bootloader example☆102Updated 10 months ago
- An experimental dotnet based kernel☆39Updated last month
- ☆436Updated last year
- The RISC-V Virtual Machine☆1,166Updated 3 weeks ago
- Just Monika☆85Updated 6 months ago
- User-space of the @GreenteaOS☆137Updated 2 months ago
- MinC Is Not Cygwin☆113Updated last week
- Genode OS Framework☆1,193Updated 2 weeks ago
- Contents from SunOS 4.1.3 SUNSRC CD-ROM☆183Updated 4 years ago
- First published Open Source implementation of OpenFirmware☆411Updated 3 months ago
- A UEFI 64bit Bootloader☆150Updated 4 years ago
- Mirror of codeberg's repository☆169Updated this week
- x86 emulation library☆159Updated 10 months ago
- Clang-Built Musl Linux From Scratch☆137Updated last year
- A portable and easy-to-integrate implementation of the Advanced Configuration and Power Interface (ACPI)☆268Updated 2 months ago
- An attempt to provide a reproducible, automatic, complete end-to-end bootstrap from a minimal number of binary seeds to a supported fully…☆685Updated this week
- A free Windows-compatible Operating System☆23Updated this week
- Inferno® is a distributed operating system. Inferno represents services and resources in a file-like name hierarchy, including devices, …☆694Updated 4 months ago
- Paging operating system for a custom computer architecture☆98Updated 2 weeks ago