Stichting-MINIX-Research-Foundation / minixLinks
Official MINIX sources - Automatically replicated from gerrit.minix3.org
☆3,361Updated last year
Alternatives and similar repositories for minix
Users that are interested in minix are comparing it to the libraries listed below
Sorting:
- xv6 OS☆9,105Updated last year
- Original Minix 1 sources from the book "Operating Systems: Design and Implementation" 1st ed.☆376Updated 8 years ago
- Mirror of the Restoration of 1st Edition UNIX kernel sources from pdf document.☆915Updated 4 years ago
- Historically first (actually 0.01) release of linux kernel made by Linus Torvalds☆1,479Updated last year
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆8,704Updated this week
- The seL4 microkernel☆5,223Updated last week
- The lcc retargetable ANSI C compiler☆2,430Updated last year
- A portable microkernel-based multiserver operating system written from scratch.☆1,520Updated last week
- GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.☆1,964Updated 7 years ago
- LK embedded kernel☆3,540Updated last week
- Xv6 for RISC-V☆9,027Updated last week
- Text describing xv6 on RISC-V☆808Updated 3 months ago
- UNIX 6th Edition Kernel Source Code☆482Updated 6 years ago
- A simple OS kernel for research, teaching, and fun.☆891Updated last year
- The old Linux kernel source ver 0.11 which has been tested under modern Linux, Mac OSX and Windows.☆928Updated 2 years ago
- Unofficial mirror of sourceware glibc repository. Updated daily.☆1,807Updated 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…☆12,443Updated this week
- An open-source Unix operating system -- this is a read-only mirror of the official repository at https://code.illumos.org/plugins/gitiles…☆1,802Updated last week
- A Tiny Linux-Compatible Kernel☆3,035Updated this week
- Redirection to the real github page only.☆109Updated 8 years ago
- Linux Device Drivers 3 examples updated to work in recent kernels☆2,547Updated 7 months ago
- Operating System From Scratch : learn OS by practice☆584Updated 12 years ago
- Source codes for the "Write your own Operating System" video-series on YouTube☆784Updated 2 years ago
- A sample OS as demonstrated in the book Operating System: From 0 to 1☆662Updated 8 years ago
- A Small C Compiler☆6,342Updated last year
- Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4☆3,692Updated 10 months ago
- A very minimal, resource efficient exo-kernel☆807Updated 3 weeks ago
- An unix-like toy kernel☆741Updated 4 years ago
- Repository for Xinu source code☆459Updated last year
- Commentary for xv6-public☆264Updated 5 years ago