Hello there!
I have been reading information about Minix. I am interested in kernel development for some weeks now. That means I am going to try to understand how I can get Minix to the RPi.
If you are interested in my project (called 'Serenity') you can go to my site: MBeentjes.