mcs: add handler params to TCB configure functions

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.

https://docs.sel4.systems

Other

52 stars 62 forks source link

Open corlewis opened 1 year ago

corlewis commented 1 year ago

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.