Ok so this might be a complex hello world "assignment", but i was pondering how hard it would be to code a bare metal hello world (as kernel.img which is loaded by start.elf) in c, which then loads a hello.bmp (or hello.png, whichever is easier) and displays it as a static image, viewable on the hdmi. i suppose the file would need to be the correct dimensions for the given display mode. also, i am assuming the task of accessing a file on the SD card is possible, given that the GPU has already done so at least 3 times in order to boot the device up.
is this a huge undertaking? or are we limited to a simple flashing LED example as show in this excellent tutorial here:
http://www.valvers.com/open-software/ra ... g-in-cpt1/
it's a shame the author of that tutorial hasn't got to part 5 yet, which was going to explain how frame buffers work.