[seL4] Re: root task executable memory changed

Thank you Indan. On Thu, Feb 8, 2024 at 7:47 AM Indan Zupancic 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