seL4_libs icon indicating copy to clipboard operation
seL4_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

mcs: add handler params to TCB configure functions

Open corlewis opened this issue 2 years ago • 0 comments

This makes it possible to set the badge and rights of the fault and timeout handler caps while configuring a TCB.

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

corlewis avatar Jul 22 '22 02:07 corlewis