capdl icon indicating copy to clipboard operation
capdl copied to clipboard

Published 20 hours ago • verified publisher icon seL4

loader mcs: set handler params with TCB syscalls

Open corlewis opened this issue 2 years ago • 0 comments

Instead of minting new endpoint caps with the required badge and rights, we use seL4_TCB_SetSchedParams and seL4_TCB_SetTimeoutEndpoint to set them for us.

See https://sel4.atlassian.net/browse/RFC-11 for more information about this proposal.

corlewis avatar Jul 22 '22 02:07 corlewis