cl91 / NeptuneOSLinks
Neptune OS: A Windows NT personality for the seL4 microkernel
☆393Updated 3 weeks ago
Alternatives and similar repositories for NeptuneOS
Users that are interested in NeptuneOS are comparing it to the libraries listed below
Sorting:
- ExectOS Operating System☆119Updated 4 months ago
- LAI is an interpreter for AML, the ACPI Machine Language.☆185Updated last year
- The first C compiler ported to x86☆192Updated 3 years ago
- Vanadium OS☆111Updated 7 years ago
- windows emulator☆632Updated this week
- All-new engine of the @GreenteaOS☆239Updated last month
- Linux (and other kernels) distro with no GNU components☆237Updated 7 months ago
- Port of Doom to UEFI.☆287Updated 5 months ago
- A UEFI 64bit Bootloader☆148Updated 4 years ago
- A mirror of TinyBIOS repository☆311Updated 3 weeks ago
- Twitter client for UEFI☆530Updated 3 years ago
- FreeDOS plus-plus, 64bit DOS☆213Updated 3 weeks ago
- osFree - open source Operating System/2 clone, usermode parts.☆120Updated 3 months ago
- xv6 OS☆238Updated last month
- Get PC BIOS back on UEFI only system☆322Updated this week
- A set of minimal dependency bootstrap binaries☆976Updated last week
- An operating system kernel for RISC-V and AArch64 SBCs☆135Updated last year
- First published Open Source implementation of OpenFirmware☆378Updated 8 months ago
- User-space of the @GreenteaOS☆119Updated 11 months ago
- Linux system calls.☆214Updated 5 years ago
- Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.☆259Updated 3 years ago
- Inferno® is a distributed operating system. Inferno represents services and resources in a file-like name hierarchy, including devices, …☆628Updated 4 months ago
- Microsoft Research Singularity RDK 2.0 Source☆64Updated 4 years ago
- 2.11BSD-based Unix-like OS for STM32 and PIC32 Microcontrollers☆197Updated last week
- UEFI ELF Bootloader example☆95Updated 3 months ago
- The RISC-V Virtual Machine☆1,056Updated this week
- The R9 operating system☆564Updated last month
- Operating system for x86_64 based around a "keep it simple and make it work" philosophy.☆411Updated 4 years ago
- Run x86 and x86-64 games on RISC-V Linux☆291Updated this week
- ☆400Updated 6 months ago