Só pra complementar, seguem links do conteúdo citado:

• Página oficial do Minix e o respectivo código fonte
• Código fonte do Linux
• Livro do Tanenbaum