richardbraun / x15View external linksLinks
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:
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆23Aug 11, 2024Updated last year
- PulseAudio-compatible rump kernel translator for GNU Hurd☆13Jul 3, 2017Updated 8 years ago
- 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☆29Apr 5, 2024Updated last year
- 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
- The SunOS 3.4 source code. An very rare find!☆21Jan 4, 2023Updated 3 years ago
- Simplified shell reimplementation of containers — see also https://github.com/arachsys/containers☆13Jan 25, 2023Updated 3 years ago
- Contents from Solaris 8 Source Foundation☆11Oct 11, 2021Updated 4 years ago
- A JSX-powered templating library for building multi page websites.☆13Jan 23, 2023Updated 3 years ago
- some kind of operating system☆12Oct 10, 2025Updated 4 months ago
- A source-based Linux distribution with an unwavering adherence to the UNIX philosophy☆10Oct 28, 2022Updated 3 years ago
- A curated list of awesome 9p(2000)-related documents, libraries, and software☆29May 1, 2023Updated 2 years ago
- OSF Mach and MkLinux conservation project☆31Nov 3, 2012Updated 13 years ago
- Neatcc top-level makefile☆13Feb 8, 2026Updated last week
- A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.☆24Feb 23, 2020Updated 5 years ago
- A framework for scripting package builds☆18Jun 20, 2024Updated last year
- Basic Init Daemon in POSIX sh☆28Jul 17, 2020Updated 5 years ago
- PonyTown Client For Windows☆12Sep 19, 2016Updated 9 years ago
- Reproduce the experiment of the Per-Title_Encode_Optimization proposed by Netflix☆13Oct 12, 2017Updated 8 years ago
- ☆38Sep 17, 2022Updated 3 years ago
- GPU for OENG1167 in Verilog HDL for DE10 series boards☆15Nov 1, 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…☆18Sep 30, 2025Updated 4 months 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
- A tool to build runnable Linux images with s6 and s6-rc☆38Jan 24, 2026Updated 3 weeks 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
- Simple Lisp compiler. Compiles a minimal Lisp dialect to ANSI C.☆19Jul 26, 2015Updated 10 years ago
- An implementation of the hammer2 filesystem for Plan 9☆19Nov 25, 2018Updated 7 years ago
- Scripts to bootstrap a build environment for LightCube OS using musl libc☆20Apr 24, 2015Updated 10 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
- NANO terminal text editor ported to android☆20Dec 11, 2025Updated 2 months ago
- This is the source of the seL4 docs.☆18Updated this week
- Intel 8080 CPU emulation library☆15Jun 4, 2018Updated 7 years ago
- libtls implemented on top of BearSSL☆45Sep 8, 2022Updated 3 years ago
- Software and documentation, mostly from the 80s and 90s☆24Mar 24, 2015Updated 10 years ago
- A small libmad/oss mp3 player☆16Aug 2, 2025Updated 6 months ago
- SunOS 4.1.4 (also known as Solaris 1.1.2) source code I don't know the origin☆20Oct 11, 2021Updated 4 years ago