jncraton / minix3Links
branch of the minix3 OS for use in COS421 (Operating Systems)
☆24Updated 15 years ago
Alternatives and similar repositories for minix3
Users that are interested in minix3 are comparing it to the libraries listed below
Sorting:
- Minix 1 and 2, Quick and Dirty editions☆133Updated 8 years ago
- IBM AT 80286 BIOS☆129Updated 10 years ago
- Original Minix 1 sources from the book "Operating Systems: Design and Implementation" 1st ed.☆358Updated 7 years ago
- just a copy of the minix book source code. Extracted from https://github.com/minix3/minix 3.1.0☆20Updated 9 years ago
- MINIX 3 is a free, open-source, operating system designed to be highly reliable, flexible, and secure. http://www.minix3.org☆125Updated 2 years ago
- Fourth rewrite of LevOS, aiming for POSIX compliance.☆229Updated 11 years ago
- Source code from http://www.jamesmolloy.co.uk/tutorial_html/index.html with improved build system. Tested on Ubuntu 14.04.☆42Updated 5 years ago
- Kernel for my operating system KoraOS☆17Updated 10 months ago
- C compiler, assembler and linker environment for the production of 8086 executables☆161Updated last year
- A 64-bit SMP-safe kernel for the PC architecture.☆87Updated 7 years ago
- UNIX-like operating system written in C and C++☆91Updated last week
- ☆167Updated 2 years ago
- A simple x86 operating system with graphical user space☆63Updated last year
- The FYSOS Operating System☆121Updated last week
- Rainbow OS☆57Updated 4 months ago
- First published Open Source implementation of OpenFirmware☆381Updated 9 months ago
- Repository for Xinu source code☆443Updated last year
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆180Updated last year
- Standalone C compiler for RISC-V and ARM☆87Updated last year
- Bran's Kernel Development Tutorial☆11Updated 12 years ago
- 64-bit UNIX hobby operating system with a UEFI bootloader☆83Updated 2 weeks ago
- Github mirror of os dev repo☆67Updated 3 months ago
- A hobby OS written in assembly (nasm) and C. Small, realistic goals.☆56Updated 8 years ago
- Linux Kernel 1.0☆157Updated 4 years ago
- compilable linux-0.01☆80Updated 2 years ago
- linux kernel 0.0.1☆84Updated 10 years ago
- Home-made almost operating system☆138Updated 2 years ago
- A hobby operating system I've been building. Please refer to the 'rewrite' branch to see the ongoing rewrite.☆87Updated 6 months ago
- Simple Yet Powerful RISC-V Computer☆117Updated 5 months ago
- Academic Operating System (targeting x86-64, multiprocessor)☆13Updated 9 years ago