Hi all, Hopefully someone can help with this. I'm developing a bare-metal OS for the Raspberry PI. So far it's in the early stages although I have GPIO, Framebuffer (via the TV out), a basic C library (including printf) and some timer stuff, so I can do some useful stuff with it already. I'm working...