• Stars
    star
    1,227
  • Rank 38,235 (Top 0.8 %)
  • Language
    C
  • License
    Other
  • Created almost 2 years ago
  • Updated over 1 year ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Development and compilation setup for the book versions of MINIX (2.0.0 and 3.1.0) on QEMU

MINIX 2 Book Version recently added! Check releases: MINIX 2 is more education-focused and simpler than 3 yet equally well documented. You can get the book here.

MINIX From Scratch

Why MINIX?

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.

Screenshots

The login screen:

login

Using the built-in partition editor, part:

part

Editing code from the hard disk image mounted with mountminix3.sh:

src

Navigating the code in /usr/src:

src

Recompiling the system:

recompile

Minimal working example

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

Why learn MINIX before Linux

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 to fdisk or parted) an Emacs clone (elle), and a Vim clone (evil).

MINIX is useful for learning about

  • 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

Making your own hard disk image

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.

References