[seL4] Re: Reducing memory footprint - RISC-V

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?