ucore on Raspberry Pi
Now ucore , a teaching OS, can run on the ARM board, Raspberry Pi. More detail can be found on our OS teaching wiki.
http://os.cs.tsinghua.edu.cn/oscourse/ucore2012
http://os.cs.tsinghua.edu.cn/oscourse/OsTrain2012/porting#head-bab9355c9ea60ff0b06a5a86f297e1e13164509f