Hello, I just received a Raspberry Pi as a gift. The Pi seems like a good jumping board for some recreational ARM kernel development. I was wondering if anyone had attempted to code their own kernel in C/C++, or any other language, for use on the Pi. I don't expect a newer, better version of UNIX , ...