Just a very quick post to share my micro OS template for Raspberry Pi. I've been playing with this little device for the last two months and it's been a lot of fun for me. My main area of interest is the ARM assembly language which I can learn on a real device right now.
The template is written to serve as a starting point for those who want direct framebuffer access and nothing else (small GPU projects, simple debugger etc.). To use it, simply build it using YAGARTO (as soon as you install it, just run the 'make' command) and stick it on a SD card replacing an existing linux kernel (I'm using Arch Linux for Raspberry Pi).
As I'm not a professional ARM developer, I'm sure this code can be greatly improved, so your feedback is welcome!
Please find the project here: https://bitbucket.org/piotrjustyna/0xfe