nicoverduin wrote:From what I understand is that the SDK libraries are loaded at 0x40000. The user program is loaded at 0x00000.
Yes, that's my understanding of the addresses as well. But that's why I'm confused when manually loading an official firmware. The size is around 520K, which is 0x7EF40. Loading it at 0x00000 would make it extend into the 0x40000 range. So, I'm not sure what it's putting into that user program space. As an experiment, I've tried manually loading the official firmware at 0x40000, but that didn't work.
But I guess that answers your question about whether the firmware could be just one big file instead of 2 or 3. That appears to be what they do with the official firmware.