Is there any way around that? I can modify BBL to put the payload at a lower address than
0x80200000 still properly page aligned, just not on the mega page size. Also, the
elfloader in seL4 relies on this alignment. I suppose that would need to be rewritten as
Or is that this is not possible at all?
I need to run something in less than 2 MB if possible. If BBL doesn't do it, then
what is the alternative? Do I write my own bootloader?