On Sat, 11 Mar 2023, 09:40 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 > If the untyped isn't device untyped then it should be zeroed before it is typed into an object. Device untyped is not allowed to be accessed by the kernel and so is not written to. When are you observing the odd behaviour? > > -Sam > _______________________________________________ > Devel mailing list -- devel@sel4.systems > To unsubscribe send an email to devel-leave@sel4.systems > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
