Stichting-MINIX-Research-Foundation / minixLinks
Official MINIX sources - Automatically replicated from gerrit.minix3.org
☆3,208Updated last year
Alternatives and similar repositories for minix
Users that are interested in minix are comparing it to the libraries listed below
Sorting:
- Original Minix 1 sources from the book "Operating Systems: Design and Implementation" 1st ed.☆358Updated 7 years ago
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆8,299Updated this week
- xv6 OS☆8,491Updated 9 months ago
- The lcc retargetable ANSI C compiler☆2,125Updated 8 months ago
- A portable microkernel-based multiserver operating system written from scratch.☆1,472Updated last week
- The seL4 microkernel☆4,964Updated last week
- Mirror of the Restoration of 1st Edition UNIX kernel sources from pdf document.☆880Updated 3 years ago
- Historically first (actually 0.01) release of linux kernel made by Linus Torvalds☆1,343Updated last year
- Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org☆781Updated this week
- Redirection to the real github page only.☆105Updated 8 years ago
- The old Linux kernel source ver 0.11 which has been tested under modern Linux, Mac OSX and Windows.☆882Updated last year
- A very minimal, resource efficient exo-kernel☆738Updated last week
- Simple C compiler☆1,493Updated 5 months ago
- GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.☆1,931Updated 6 years ago
- A Small C Compiler☆6,250Updated last year
- Minoca operating system☆2,742Updated 3 years ago
- Unofficial mirror of sourceware glibc repository. Updated daily.☆1,626Updated this week
- A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …☆6,381Updated 3 weeks ago
- Xv6 for RISC-V☆8,110Updated 9 months ago
- UNIX 6th Edition Kernel Source Code☆424Updated 6 years ago
- Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.☆3,450Updated this week
- Continuous Unix commit history from 1970 until today☆6,706Updated 2 years ago
- A cross-platform x86 assembler with an Intel-like syntax☆2,781Updated last month
- Read-only mirror of https://review.coreboot.org/coreboot.git. Synced every hour. We don't handle Pull Requests.☆2,363Updated this week
- LK embedded kernel☆3,357Updated this week
- Docker/Qemu Based Linux Kernel Learning, Development and Testing Environment; New Linux ELF Video Course from this project author: https:…☆1,181Updated 7 months ago
- Simple operating system in C++, written from scratch☆1,694Updated 6 months ago
- upstream mirror☆4,589Updated this week
- ☆9,975Updated this week
- A sample OS as demonstrated in the book Operating System: From 0 to 1☆628Updated 7 years ago