[seL4] Re: Operating Systems built on top of seL4

On 1 Aug 2021, at 17:15, Gerwin Klein 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