cl91 / NeptuneOS
Neptune OS: A Windows NT personality for the seL4 microkernel
☆385Updated last month
Alternatives and similar repositories for NeptuneOS:
Users that are interested in NeptuneOS are comparing it to the libraries listed below
- ExectOS Operating System☆121Updated 2 months ago
- The first C compiler ported to x86☆192Updated 3 years ago
- LAI is an interpreter for AML, the ACPI Machine Language.☆180Updated last year
- Use of a Linux initramfs to fully automate the bootstrapping process☆609Updated this week
- The RISC-V Virtual Machine☆1,022Updated this week
- Linux (and other kernels) distro with no GNU components☆235Updated 5 months ago
- A mirror of TinyBIOS repository☆309Updated last month
- xv6 OS☆238Updated 3 weeks ago
- Contents from SunOS 4.1.3 SUNSRC CD-ROM☆179Updated 3 years ago
- Vanadium OS☆110Updated 7 years ago
- Open source VPU side bootloader for Raspberry Pi.☆433Updated last year
- osFree - open source Operating System/2 clone, usermode parts.☆123Updated last month
- Genode OS Framework☆1,109Updated this week
- windows emulator☆613Updated 2 weeks ago
- Twitter client for UEFI☆532Updated 3 years ago
- A portable microkernel-based multiserver operating system written from scratch.☆1,436Updated 2 weeks ago
- A place for public review of the posix port of stage0☆113Updated last week
- All-new engine of the @GreenteaOS☆236Updated last month
- Port of Doom to UEFI.☆283Updated 3 months ago
- Microsoft Research Singularity RDK 2.0 Source☆60Updated 4 years ago
- bootBASIC is a BASIC language in 512 bytes of x86 machine code.☆358Updated 2 years ago
- Linux system calls.☆211Updated 5 years ago
- BIOS for Intel 8088 based computers☆537Updated 2 months ago
- The InitWare Suite of Middleware allows you to manage services and system resources as logical entities called units. Its main component …☆192Updated 7 months ago
- A UNIX-like kernel for the i386 architecture☆518Updated last week
- Operating system for x86_64 based around a "keep it simple and make it work" philosophy.☆411Updated 4 years ago
- Inferno® is a distributed operating system. Inferno represents services and resources in a file-like name hierarchy, including devices, …☆608Updated last month
- 2.11BSD-based Unix-like OS for STM32 and PIC32 Microcontrollers☆190Updated last week
- UEFI ELF Bootloader example☆95Updated last month
- ☆394Updated 4 months ago