I'm working on a toy OS/kernel/what have you for my raspberry pi.  This is mainly as an educational experience.  Probably not particularly /useful/ for you, but the code might be of interest.