cl91 / NeptuneOS
Neptune OS: A Windows NT personality for the seL4 microkernel
☆382Updated last week
Alternatives and similar repositories for NeptuneOS:
Users that are interested in NeptuneOS are comparing it to the libraries listed below
- The first C compiler ported to x86☆192Updated 3 years ago
- Linux (and other kernels) distro with no GNU components☆234Updated 3 months ago
- ExectOS Operating System☆120Updated 3 weeks ago
- LAI is an interpreter for AML, the ACPI Machine Language.☆177Updated 11 months ago
- Open source VPU side bootloader for Raspberry Pi.☆430Updated 11 months ago
- xv6 OS☆238Updated 2 months ago
- osFree - open source Operating System/2 clone, usermode parts.☆122Updated last week
- Port of Doom to UEFI.☆283Updated last month
- The first C compiler made to work under modern GCC☆162Updated 3 years ago
- The RISC-V Virtual Machine☆1,004Updated this week
- Vanadium OS☆110Updated 7 years ago
- Microsoft Research Singularity RDK 2.0 Source☆58Updated 4 years ago
- A set of minimal dependency bootstrap binaries☆955Updated last year
- Embeddable Linux Kernel Subset - Linux for 8086☆1,238Updated this week
- Alternative to GNU coreutils using software from FreeBSD☆172Updated last week
- Inferno® is a distributed operating system. Inferno represents services and resources in a file-like name hierarchy, including devices, …☆586Updated last week
- A runtime environment for Haiku applications.☆51Updated 8 months ago
- An Xlib compatibility layer implemented on top of the Haiku API, in order to run X11 applications on Haiku without an X server.☆92Updated 5 months ago
- Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.☆287Updated 2 years ago
- bootBASIC is a BASIC language in 512 bytes of x86 machine code.☆356Updated last year
- A mini x86-64 assembler for fun and learning.☆204Updated 3 years ago
- Plan 9 History, from 1992-09-21 to 2015-01-10.☆487Updated 3 years ago
- The Nano-X Window System☆718Updated this week
- Build UEFI applications with the Clang compiler and LLD linker.☆58Updated 10 months ago
- All-new engine of the @GreenteaOS☆235Updated this week
- Genode OS Framework☆1,098Updated this week
- Read-only mirror of https://git.seabios.org/seabios.git. We don't handle pull requests.☆406Updated 3 weeks ago
- Unikernel Linux☆184Updated 2 months ago
- The Public Domain C Library☆236Updated 2 months ago
- x86 PC emulator that runs both natively and in the browser, via WebAssembly☆693Updated 2 years ago