cl91 / NeptuneOSLinks
Neptune OS: A Windows NT personality for the seL4 microkernel
☆423Updated 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 this week
- LAI is an interpreter for AML, the ACPI Machine Language.☆186Updated 2 months ago
- The first C compiler ported to x86☆197Updated 4 years ago
- Port of Doom to UEFI.☆317Updated last year
- osFree - open source Operating System/2 clone, usermode parts.☆131Updated this week
- Vanadium OS☆119Updated 7 years ago
- Linux (and other kernels) distro with no GNU components☆241Updated 3 months ago
- VMware mouse driver for Windows 3.1☆365Updated 5 months ago
- Microsoft Research Singularity RDK 2.0 Source☆64Updated 5 years ago
- User-space of the @GreenteaOS☆141Updated 3 months ago
- An operating system kernel for RISC-V and AArch64 SBCs☆141Updated 2 years ago
- All-new engine of the @GreenteaOS☆254Updated 2 months ago
- A runtime environment for Haiku applications.☆68Updated 6 months ago
- windows emulator☆666Updated 3 weeks ago
- First published Open Source implementation of OpenFirmware☆416Updated 5 months ago
- A mirror of TinyBIOS repository☆313Updated last month
- An experimental dotnet based kernel☆39Updated 3 months ago
- Just Monika☆87Updated 7 months ago
- ☆445Updated last year
- Develop EFI applications for ARM-64, ARM-32, x86_64, IA-64 (IPF), IA-32 (x86), and MIPS platforms using the GNU toolchain and the EFI dev…☆132Updated last month
- Get PC BIOS back on UEFI only system☆648Updated last week
- A UEFI 64bit Bootloader☆149Updated 4 years ago
- Contents from SunOS 4.1.3 SUNSRC CD-ROM☆183Updated 4 years ago
- Paging operating system for a custom computer architecture☆109Updated last month
- The RISC-V Virtual Machine☆1,182Updated this week
- My gnu-efi development tree.☆70Updated 11 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…☆708Updated this week
- An Xlib compatibility layer implemented on top of the Haiku API, in order to run X11 applications on Haiku without an X server.☆97Updated last year
- A portable and easy-to-integrate implementation of the Advanced Configuration and Power Interface (ACPI)☆277Updated last month
- x86 emulation library☆159Updated 11 months ago