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.
-Sam
Hi all
A friendly reminder that the seL4 developer hangout is on again this week:
Wed, Mar 8, 6am (UTC), Topics: (open)
* Sydney: Wed, Mar 8, 5pm
* Central Europe: Wed, Mar 8, 7am
* US Pacific Time: Tue, Mar 7, 10pm
Calendar: https://sel4.systems/contact/
Zoom link: https://unsw.zoom.us/j/82640784431
cheers
Birg
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
