Minix

Etymology
Coined by Andrew S. Tanenbaum as a contraction of mini-Unix.

Proper noun

 * 1)  A Unix-like operating system for teaching the principles of operating systems.