[seL4] Re: memory zero'ing

On 11 Mar 2023, at 09:19, Sam Leffler via Devel <devel@sel4.systems> wrote: I'm chasing an issue that looks like retype'd memory has nonsense data. If I read the kernel code correctly it looks like the object returned by an seL4_UntypeRetype syscall should be zero'd (looks to happen when an untyped memory object is reset here <https://github.com/seL4/seL4/blob/master/src/object/untyped.c#L254>). Is that correct? I don't see anything called out in the manual. Yes, like Kent said unless it's a device untyped where the user is supposed to zero the memory, it should be 0. One cause I could imagine would be caching (which would be a bug). E.g something like https://github.com/seL4/seL4/pull/485 Cheers, Gerwin