I believe that learning MINIX is probably the best way to learn about operating systems. Until now, I have not been able to find a MINIX 3 project that allows you to compile the code that is referenced in the book Operating Systems: Design and Implementation (3e) (v3.1.0). It was tricky to get a reasonable development setup to make it possible for newbies like myself to learn from the book. This is an attempt to fix that and make it easy to browse, edit, recompile, and execute the code.
Why should you learn MINIX instead of Linux? Or rather than another teaching OS such as xv6, NachOS, or Xinu?
Unlike most of these systems, MINIX:
- Is heavily commented.
- Comes with three highly detailed books as its primary form of documentation.
- Has a much smaller and easier-to-understand kernel (it helps that it's a microkernel).
- Runs quite well on an emulator without melting your CPU (at least since the 2nd edition).
Although xv6 and these other systems have been valuable tools for me (and may have extra features, like threads and NAT), I have found that the MINIX documentation is the most extensive.
The login screen:
Using the built-in partition editor, part
:
Editing code from the hard disk image mounted with mountminix3.sh
:
Navigating the code in /usr/src:
Recompiling the system:
Download the .img
from releases. Assuming you have QEMU installed, run ./qemuminix3.sh
. After it boots, you can log in with username "root" and no password. To edit the code and recompile:
- Exit MINIX with CTRL+ALT+DEL (if you do not, you may lose files that were not synced to the hard disk). You'll then need to close QEMU manually (MINIX doesn't know how).
- Mount the root, usr, and home partitions with
./mountminix3
. Linux requires superuser permissions to mount a file system. - Make your edits to the code (for a start, maybe try modifying the boot message).
- Unmount the filesystems using
./umountminix3.sh
(also requires sudo). - Start the system again with
./qemuminix3.sh
Relevant quote from Andy Tanenbaum:
For people who thought little of MS-DOS , the existence of MINIX (with source code) as an alternative was even a reason to finally go out and buy a PC. One of these people was a Finnish student named Linus Torvalds. Torvalds installed MINIX on his new PC and studied the source code carefully...By Aug. 1991 he had produced a primitive kernel. On Aug. 25, 1991, he announced it on comp.os.minix...Thus was Linux born (OSDI, 3e, p.19).
MINIX is a great tool for learning about Linux. MINIX is like a small and simplified version of Linux - Linus took heavy inspiration from it, and his legendary "nothing big" post announcing Linux was first posted on the comp.os.minix news board. Within MINIX you will find many familiar Unix/Linux tools and features, including:
- A similar directory structure: files such as /etc/utmp, /etc/passwd, /dev are where you expect them to be.
- A Bash interpreter (ash) with source code.
- Similar filesystem conventions: just as in Linux, you can mount filesystems directly onto the root filesystem with
mount
. - A similar system administration structure, with familiar utilities like
chmod
,mkfs
,mkisofs
(genisoimage
),part
(similar tofdisk
orparted
) an Emacs clone (elle), and a Vim clone (evil).
- Operating systems
- Cybersecurity
- Networking
- System administration
- Computer architecture
- Compilers (MINIX ships with its own miniature C compiler, ACKPACK)
- Filesystems and disk partitioning
- Hardware
- Bash scripting
- Data structures and algorithms
To make a bootable and editable hard disk image, you'll need to install it from the official MINIX CD. You can find it at minix3.org. MINIX 3 comes with a setup.sh
utility, which will install to the hard disk that you specify with your desired network card, partitions, etc.
- Operating Systems: Design and Implementation (3e)
- Albert Woodhull's site
- The official MINIX site. Installation images can be downloaded from here.
- Minix QD (has Minix 1 and 2).
- The MINIX mailing list