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 well. 

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?
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to