Stichting-MINIX-Research-Foundation / minixLinks
Official MINIX sources - Automatically replicated from gerrit.minix3.org
☆3,272Updated 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.☆363Updated 7 years ago
- The lcc retargetable ANSI C compiler☆2,166Updated 10 months ago
- Historically first (actually 0.01) release of linux kernel made by Linus Torvalds☆1,387Updated last year
- Mirror of the Restoration of 1st Edition UNIX kernel sources from pdf document.☆890Updated 4 years ago
- LK embedded kernel☆3,411Updated this week
- A portable microkernel-based multiserver operating system written from scratch.☆1,491Updated 2 weeks ago
- Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org☆811Updated this week
- xv6 OS☆8,721Updated last year
- UNIX 6th Edition Kernel Source Code☆450Updated 6 years ago
- The seL4 microkernel☆5,037Updated last week
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆8,438Updated this week
- Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.☆3,517Updated this week
- A very minimal, resource efficient exo-kernel☆766Updated last month
- The old Linux kernel source ver 0.11 which has been tested under modern Linux, Mac OSX and Windows.☆900Updated last year
- A Small C Compiler☆6,301Updated last year
- An unix-like toy kernel☆741Updated 4 years ago
- A simple OS kernel for research, teaching, and fun.☆865Updated last year
- Redirection to the real github page only.☆107Updated 8 years ago
- Unofficial git mirror of SQLite sources (see link for build instructions)☆1,966Updated this week
- GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.☆1,948Updated 7 years ago
- Unofficial mirror of mob development branch☆2,417Updated this week
- A hacker's userspace TCP/IP stack☆3,023Updated 2 years ago
- Simple operating system in C++, written from scratch☆1,711Updated 9 months ago
- Source codes for the "Write your own Operating System" video-series on YouTube☆775Updated 2 years ago
- C in four functions☆10,306Updated last year
- Xv6 for RISC-V☆8,424Updated this week
- Repository for Xinu source code☆444Updated last year
- GRand Unified Bootloader http://www.gnu.org/software/grub/grub.html☆382Updated 5 years ago
- Simple C compiler☆1,513Updated 8 months ago
- A minimalist kernel☆1,342Updated 4 years ago