asserts on seL4_Errors now use test_error_eq

changed test_asserts that check seL4_Errors
to use test_error_eq to output errors in failed cases
that would otherwise be suppressed in a
KernelInvocationReportErrorIPC build config

Trivial: style fix

make the style checker happy

SELFOUR-1275: enable cspace test

This was fixed by 23252db4ce6e in muslc

Rebase and comment non-relevant RISC-V code/test

Use seL4_TCB_SetTimeoutEndpoint

- remote timeout endpoint from api_tcb_set_space calls
- update helper for setting timeout endpoint

SELFOUR-1083 refactor tests because DEFINE_TEST_MAYBE was renamed to DEFINE_TEST

MCS: use tcb wrappers from sel4tutils/api.h

- replace calls of seL4_TCB_SetSpace with api_tcb_set_space
- replace calls of seL4_TCB_Configure with api_tcb_configure
- update some calls from seL4_TCB_Configure to api_tcb_set_space as a
full TCB configure is not required in that specific case

MCS: Use api_wait where possible

api_wait is the equivalent of a seL4_Recv on the master kernel,
and seL4_Wait on the mcs kernel. Use this whereever a reply object is
not required.

Provide and use wrappers for getting helper thread information

Reaching directly into the helper thread struct makes it difficult to change how helper threads
work without breaking lots of code.

Fix whitespace

- remove trailing whitespace
- remove double blank lines
- remove blank lines at end of file

Fix licenses

Port most tests to be compatible with x64

update for s/Wait/Recv

Remove 'args' parameter to test cases.

This commit removes the state parameter to test cases, which was unused in all
tests. In three years, no test has required this parameter. I think it's time
to ditch this dead weight. It can be reintroduced if necessary later.

Note that this change is interdependent with changes to libsel4test.

sel4test-tests: use ZF_LOGD instead of printf and D

bandaid to get sel4test to output the correct number of tests passing

Release snapshot