TCB configuration functions now require two new parameters, which can be used to directly set the fault and timeout handlers badge and rights. This commit updates the tests by setting these parameters to
seL4_NilData and seL4_NoRights, maintaining the previous behaviour.
TCB configuration functions now require two new parameters, which can be used to directly set the fault and timeout handlers badge and rights. This commit updates the tests by setting these parameters to seL4_NilData and seL4_NoRights, maintaining the previous behaviour.
See https://sel4.atlassian.net/browse/RFC-11 for more information about this proposal.