Stichting-MINIX-Research-Foundation / minixLinks
Official MINIX sources - Automatically replicated from gerrit.minix3.org
☆3,226Updated 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.☆359Updated 7 years ago
- The seL4 microkernel☆5,005Updated this week
- The lcc retargetable ANSI C compiler☆2,142Updated 9 months ago
- A portable microkernel-based multiserver operating system written from scratch.☆1,479Updated 2 weeks ago
- xv6 OS☆8,597Updated 10 months ago
- GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.☆1,935Updated 6 years ago
- LK embedded kernel☆3,378Updated 3 weeks ago
- A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …☆6,426Updated 2 months ago
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆8,345Updated this week
- Unofficial mirror of sourceware glibc repository. Updated daily.☆1,655Updated this week
- A Small C Compiler☆6,273Updated last year
- Xv6 for RISC-V☆8,210Updated this week
- Linux Device Drivers 3 examples updated to work in recent kernels☆2,482Updated 2 months ago
- A simple OS kernel for research, teaching, and fun.☆856Updated last year
- Mirror of the Restoration of 1st Edition UNIX kernel sources from pdf document.☆884Updated 3 years ago
- Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org☆795Updated this week
- A very minimal, resource efficient exo-kernel☆753Updated this week
- Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please on…☆11,627Updated this week
- A Tiny Linux-Compatible Kernel☆2,482Updated this week
- Redirection to the real github page only.☆107Updated 8 years ago
- ☆10,053Updated this week
- Historically first (actually 0.01) release of linux kernel made by Linus Torvalds☆1,358Updated last year
- The old Linux kernel source ver 0.11 which has been tested under modern Linux, Mac OSX and Windows.☆890Updated last year
- Minoca operating system☆2,749Updated 3 years ago
- A hacker's userspace TCP/IP stack☆3,007Updated 2 years ago
- UNIX 6th Edition Kernel Source Code☆435Updated 6 years ago
- A simple, kernel-space, on-disk filesystem from the scratch☆964Updated 8 months ago
- upstream mirror☆4,630Updated this week
- Simple C compiler☆1,491Updated 6 months ago
- BareMetal is a 64-bit OS for x86-64 based computers. The OS is written entirely in Assembly while applications can be written in Assembly…☆1,748Updated 7 years ago