Como eu baixo o source code do Minix3

[D4ni31]

Olá, estou no primeiro semestre de Ciência da Computação e estou tentando criar um sistema operacional através do kernel Minix3, porém estou meio perdido, não consigo achar onde está o download do source code pra poder começar o projeto, até agora só consegui baixar a ISO. Alguém poderia me ajudar a começar por favor? Não quero comentários do tipo "isso é muito avançado pra você", "você não vai conseguir", até porque se eu quero fazer um sistema operacional obviamente eu sei que fácil não será, porém se você tiver um argumento do porque eu deveria usar outro kernel, ou como eu deveria começar, por favor comente.

[luscas]

encontrei esse :

https://github.com/Stichting-MINIX-Research-Foundation/minix

e esse também

http://git.minix3.org/index.cgi