wow that is awesome, just what i need.

Well basically yes, probably I'm just missing something. Right now it looks like the implementation of rpi-boot is not the fastest.

Yes I figured that out after a while, this thing is fixed now. I got everything I wanted implemented but I was not very convinced with the sd card speed. Loading an image of 1MB takes a lot of time. I don't know a lot about the SD card code, what are the bottle necks?

Damnit I've solved my problem. The heap in rpi-boot had a restriction for the sbrk implementation. I changed that buffer and it loaded a fullscreen full hd image . Now I'm only stuck with the slow SD card implementation but at least it works!

I did some more tests and it turns out that allocation under 1MB seems to be okay, is that some kind of barrier (like 640kb on x86 systems?). Is there any configuration that has to be enabled to access the full 256mb SDRAM? Again I'm currently using rpi-boot as a base. Any ideas?

I've found out that rpi-boot has a decent SD card driver! It works great for me. Right now I'm loading images from SD card, a problem I'm experiencing that it works for smaller images. On larger images malloc seems to fail. It looks like out of memory (pointer is zero before and after malloc). My qu...

Hey I'm currently developing a full bare metal solution using rpi. Later I want to load files from the SD card that I'm booting from. Has anyone tried to implement an SD Card driver on bare metal yet? I had a look at some bit banging versions that I know from AVR development, but I think that does n...