On 1 Aug 2021, at 17:15, Gerwin Klein <kle...@unsw.edu.au> 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 -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
