Stichting-MINIX-Research-Foundation / minixLinks
Official MINIX sources - Automatically replicated from gerrit.minix3.org
☆3,319Updated 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.☆372Updated 7 years ago
- The seL4 microkernel☆5,111Updated this week
- Mirror of the Restoration of 1st Edition UNIX kernel sources from pdf document.☆907Updated 4 years ago
- xv6 OS☆8,952Updated last year
- UNIX 6th Edition Kernel Source Code☆463Updated 6 years ago
- The lcc retargetable ANSI C compiler☆2,178Updated last year
- A portable microkernel-based multiserver operating system written from scratch.☆1,509Updated last week
- Historically first (actually 0.01) release of linux kernel made by Linus Torvalds☆1,429Updated last year
- A simple OS kernel for research, teaching, and fun.☆873Updated last year
- A Small C Compiler☆6,318Updated last year
- Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org☆831Updated last week
- LK embedded kernel☆3,478Updated this week
- Source codes for the "Write your own Operating System" video-series on YouTube☆782Updated 2 years ago
- Redirection to the real github page only.☆108Updated 8 years ago
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆8,565Updated this week
- A very minimal, resource efficient exo-kernel☆793Updated this week
- Repository for Xinu source code☆445Updated last year
- 4.4BSD Lite Release 2: last Unix operating system from Berkeley☆394Updated 7 years ago
- Xv6 for RISC-V☆8,773Updated last week
- Simple operating system in C++, written from scratch☆1,708Updated 11 months ago
- Text describing xv6 on RISC-V☆787Updated last month
- A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …☆6,516Updated last month
- Operating System From Scratch : learn OS by practice☆583Updated 12 years ago
- GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.☆1,957Updated 7 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,575Updated this week
- Unofficial git mirror of SQLite sources (see link for build instructions)☆1,967Updated this week
- A minimalist kernel☆1,340Updated 4 years ago
- Mirror for MikeOS 4.5 - Simple and educational Operating System written by Mike Saunders☆406Updated 3 years ago
- Linux Device Drivers 3 examples updated to work in recent kernels☆2,524Updated 5 months ago
- Source for the little book about OS development☆2,576Updated 2 years ago