Real-time multiprocessor microkernel
☆39Sep 13, 2019Updated 6 years ago
Alternatives and similar repositories for x15
Users that are interested in x15 are comparing it to the libraries listed below
Sorting:
- Minimalist educational operating system☆61Feb 23, 2021Updated 5 years ago
- PulseAudio-compatible rump kernel translator for GNU Hurd☆13Jul 3, 2017Updated 8 years ago
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆24Aug 11, 2024Updated last year
- A small ANSI C static library to control terminals compatible with ANSI/ISO/VT-100 control sequences.☆18May 5, 2021Updated 4 years ago
- Solaris/PPC☆21Jun 25, 2014Updated 11 years ago
- UNIXv7 ported to RISC-V, specifically the Longnan Nano SBC☆13Mar 30, 2023Updated 2 years ago
- SMP implementation in GNU Mach☆30Apr 5, 2024Updated last year
- The SunOS 3.4 source code. An very rare find!☆21Jan 4, 2023Updated 3 years ago
- Now I shall sing the second kingdom there where the soul of man is cleansed, made worthy to ascend to Heaven.☆12Dec 15, 2025Updated 2 months ago
- A source-based Linux distribution with an unwavering adherence to the UNIX philosophy☆10Oct 28, 2022Updated 3 years ago
- some kind of operating system☆12Oct 10, 2025Updated 4 months ago
- Contents from Solaris 8 Source Foundation☆11Oct 11, 2021Updated 4 years ago
- A curated list of awesome 9p(2000)-related documents, libraries, and software☆32May 1, 2023Updated 2 years ago
- Neatcc top-level makefile☆13Feb 8, 2026Updated last month
- low-cost tracing and logging for C++☆10Dec 15, 2019Updated 6 years ago
- Simplified shell reimplementation of containers — see also https://github.com/arachsys/containers☆15Jan 25, 2023Updated 3 years ago
- Basic Init Daemon in POSIX sh☆28Jul 17, 2020Updated 5 years ago
- PonyTown Client For Windows☆12Sep 19, 2016Updated 9 years ago
- A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.☆24Feb 23, 2020Updated 6 years ago
- Reproduce the experiment of the Per-Title_Encode_Optimization proposed by Netflix☆13Oct 12, 2017Updated 8 years ago
- ☆14Nov 9, 2017Updated 8 years ago
- A framework for scripting package builds☆18Jun 20, 2024Updated last year
- ☆38Sep 17, 2022Updated 3 years ago
- GPU for OENG1167 in Verilog HDL for DE10 series boards☆15Nov 1, 2020Updated 5 years ago
- default /etc directory for oasis☆15Dec 4, 2022Updated 3 years ago
- This is a clone of an old GENIX (BSD UNIX for NSC 32016) HDD from 1983☆15Mar 9, 2020Updated 5 years ago
- Non-unix, custom-API hybrid OS kernel written in C++ which can be thought of as an emulated microkernel. The native API is almost fully a…☆19Updated this week
- A tool to build runnable Linux images with s6 and s6-rc☆38Jan 24, 2026Updated last month
- Simple Lisp compiler. Compiles a minimal Lisp dialect to ANSI C.☆19Jul 26, 2015Updated 10 years ago
- A mashup of virtual terminal (vt) and shell (sh) giving an acme-like editor / development environment with Emacs bindings for programmers…☆17Aug 26, 2022Updated 3 years ago
- Scripts to bootstrap a build environment for LightCube OS using musl libc☆20Apr 24, 2015Updated 10 years ago
- Game Of Life & Brian's Brain☆16Sep 17, 2021Updated 4 years ago
- Gemini File Server, short gmifs, is intended to be minimal and serve static files with auto index support through TLS via the gemini prot…☆14Jul 29, 2021Updated 4 years ago
- An implementation of the hammer2 filesystem for Plan 9☆19Nov 25, 2018Updated 7 years ago
- Breakout meets Inception on the NES☆17Feb 25, 2023Updated 3 years ago
- A small suite of scripts and patches for building musl libc cross compilers.☆35Dec 27, 2015Updated 10 years ago
- NANO terminal text editor ported to android☆19Dec 11, 2025Updated 2 months ago
- Intel 8080 CPU emulation library☆15Jun 4, 2018Updated 7 years ago
- This is the source of the seL4 docs.☆18Updated this week