On 1 Aug 2021, at 17:15, Gerwin Klein <[email protected]> wrote: > > I can confirm that "yield" is the only syscall in seL4 that does not need a > cap[*]. That is probably something that should be changed.
Indeed, it’s been on my list for a long time. In a cap system there shouldn’t be any syscalls that aren’t authorised by a cap. Main issue is that we didn’t come up with a reasonable choice for the type of cap that would authorise yield. We’ll probably have to introduce an object just for that purpose. Gernot _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
