Stichting-MINIX-Research-Foundation / minix
Official MINIX sources - Automatically replicated from gerrit.minix3.org
☆3,117Updated 11 months ago
Alternatives and similar repositories for minix:
Users that are interested in minix are comparing it to the libraries listed below
- xv6 OS☆8,123Updated 6 months ago
- Xv6 for RISC-V☆7,608Updated 5 months ago
- The lcc retargetable ANSI C compiler☆2,073Updated 4 months ago
- Original Minix 1 sources from the book "Operating Systems: Design and Implementation" 1st ed.☆351Updated 7 years ago
- A cross-platform x86 assembler with an Intel-like syntax☆2,600Updated 3 months ago
- The seL4 microkernel☆4,826Updated this week
- BusyBox mirror☆1,711Updated 4 months ago
- Text describing xv6 on RISC-V☆702Updated 5 months ago
- Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please on…☆10,892Updated this week
- Unofficial mirror of mob development branch☆2,187Updated this week
- A portable microkernel-based multiserver operating system written from scratch.☆1,417Updated last week
- Mirror of the Restoration of 1st Edition UNIX kernel sources from pdf document.☆860Updated 3 years ago
- LK embedded kernel☆3,291Updated last month
- upstream mirror☆4,433Updated this week
- Redirection to the real github page only.☆102Updated 8 years ago
- GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.☆1,894Updated 6 years ago
- ☆2,774Updated this week
- UNIX 6th Edition Kernel Source Code☆396Updated 5 years ago
- Read-only mirror of https://review.coreboot.org/coreboot.git. We don't handle Pull Requests.☆2,289Updated 2 weeks ago
- Unofficial mirror of etalabs musl repository. Updated daily.☆551Updated last week
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆8,130Updated this week
- A simple OS kernel for research, teaching, and fun.☆821Updated 10 months ago
- ☆9,648Updated this week
- C in four functions☆10,012Updated last year
- Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org☆733Updated 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,357Updated this week
- Learning assembly for Linux x86_64☆2,571Updated last week
- A hacker's userspace TCP/IP stack☆2,872Updated 2 years ago
- Historically first (actually 0.01) release of linux kernel made by Linus Torvalds☆1,286Updated last year
- EDK II☆4,892Updated this week