Looks like another good reason to get the Raspberry Pi mini motherboard.  Cambridge university is offering a free online course in building an Operating System for the Raspberry Pi. Thanks to HowToGeek for the posting. 

http://www.howtogeek.com/123593/get-hands-on-with-raspberry-pi-via-free-os-building-course/#comment-191722