Thank you Indan. On Thu, Feb 8, 2024 at 7:47 AM Indan Zupancic <in...@nul.nu> wrote:
> Hello Leonid, > > On 2024-02-07 20:19, Leonid Meyerovich wrote: > > Yes I see all my other tasks have different flags for segment 0 - RE, > > Startup flag is RWI > > Is there any document that describes this limitation? > > I don't think the ABI between the kernel and Elfloader/root task is > documented anywhere. Only bootinfo is documented, but that's only > one part of the boot ABI. That said, because it's all part of the > same project, I don't think this is fixed or guaranteed to stay > the same, so users shouldn't assume more than what is provided by > bootinfo. Anyway, e.g. for aarch64 it's somewhat described here: > > https://github.com/seL4/seL4/blob/master/src/arch/arm/64/head.S#L127 > > Greetings, > > Indan > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems