8 Feb
2024
8 Feb
'24
11:47 p.m.
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