I was speaking of MINIX. I can see how my language wasn't clear, though. Linux was not designed as a teaching operating system. Though Linus did hint that he was using it to learn about operating systems.