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

riscv,PAGEFAULT0005: Update test with new msg fmt

The UserError fault message format was changed to remove an unused
field. Update the message register indexes to use the new indexes.

mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS

This is to be consistent with the name defined in the kernel.

sel4test: explicitly link sel4_autoconf

since the global conf lib is going be removed, we need to explicitly
linke each project with sel4_autoconf and other config libs
this commit also removed a bunch of unused includes as well as
HAVE_AUTOCONF ifdef checking.

Trivial: style fix

make the style checker happy

sel4test: remove autoconf.h from sel4test

this commit removes autoconf.h generation from sel4test and
append '#include <sel4test/gen_config.h>' after each
'#include <autoconf.h>' since autoconf.h is only the for the
kernel config now. This is a temporarily solution, since we
currently don't have a way to tell which header files each file
is trying to include when it includes 'autoconf.h'

faults: Change RISC-V bad instruction

0x0000, 0x00000000 and 0xffffffff are all considered invalid
instructions on RISC-V. This change was motivated by some simulators not
trapping 0x00000000 or 0x0000 as invalid instructions, and when changing
to 0xffffffff picked up a bug in the kernel where the faulting
instruction was being set as a user exception field but was overflowing
it.

sel4test-tests: update MR on aarch64 faults

This MR now returns ESR

sel4test-tests: update fault code on riscv

The kernel now returns a meaningful value on instruction fault.

sel4test-tests: test seL4_VMEnter with no VCPU

Use test to ensure bits are not set on cptr.

Additional bits are set on the CPtr in order to pass boolean flags to
the fault_handler. This is only viable if the bits are not already set
on that capability.

sel4test-tests: fix TIMEOUTFAULT0003

Set the number of extra sporadic refills to 0 to avoid fragmentation of
the refills which lead to the proxy thread not faulting when expected as
the next refill was already ready to go, thus breaking the test.

sel4test: use correct sp in handle_timeout_fault

Since handle_timeout_fault manually restores a checkpoint (as it
restores the tcb registers via a fault reply), update the stack restore
part of this function to use the stack pointer used by the checkpoint
rather than the stack pointer in the user context.

sel4test: remove checks that only pass on mcs kernel

These checks are nice, but not required as the tests will fail further
down the line if the allocation fails and CONFIG_KERNEL_RT is set.

MCS: use unique reply objects for each thread

Using the same reply object for recv does not work: multiple threads
cannot use the same reply object to block at the same time. This was
working by luck / concurrency before, but now the kernel actually
checks this condition.

riscv: update 32-bit RISC-V guard

Change-Id: Ic829e0575a49988e29fab9d2f473e701670b8270

riscv: update sel4test for functionality on rocket-chip.

The FRAMEEXPORTS0001 test tries to allocate a 1GiB page. The
rocket-chip only has 256MiB, so the test will fail, even though
the SV39 virtual memory system supports 1GiB mappings.

The PAGEFAULT tests need the virtual address updated to be in
valid Sv39 virtual memory space.

Change-Id: I81a0902033b54528b42e4f653f6bbf1027c31218

Use a userspace address for fault tests

trivial: remove duplicated STRINGIFY

SELFOUR-1276: enable prefetch abort checks

The prefetch abort message register is now set for risc-v.

riscv: use consistent check

s/test_assert_fatal/test_check to be consistent with other architectures
for this test.

RISC-V: tests/faults.c - Make the test work for rv32 and rv64

Delete unused cpsr usage

RISC-V: delete FIXME workarounds for getting fault/nextpc

RISCV port

SELFOUR-1140: fix and reenable timeout-fault tests

Replace the sleep with a spin. Sleep no longer works as we spend too
much time RPCing and the wrong scheduling context uses up all the time.
Also, sleep is overkill and not required for the test, spinning is
sufficient.

Use seL4_TCB_SetTimeoutEndpoint

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

SELFOUR-1056/sel4test: Add backend support for timer server and wait for tests

SELFOUR-1056/sel4test: move timer interrupt tests for sel4test-test to sel4test-driver

* Add time-related helper files.
* Move code in sel4test/tests/interrupts to sel4test-driver/src/tests/timer.c
* Add a new function to do sel4test-driver tests before sel4test-test tests

Changes for removal of seL4_CapData_t type in libsel4

This updates sel4test to not use what are now deprecated functions and types by following
the upgrade notes in the kernel CHANGES file.

Disable RT tests that have no clear fix

These tests require a more complicated rollback protocol for correctness

Create threads for handling timer interrupts

Changes tests that peek at the timer to use the create_timer_interrupt_thread helper
so that any timer interractions by the tests are correct with respect to the ltimer
interface.

Use sleep_busy helper

Replaces custom busy wait loops in tests for sleep_busy helper

Test large fault addresses

Testing 32-bit fault addresses on 64-bit systems was failing to identify that fault addresses
were being truncated to 32-bits. This change ensures as many bits of the fault address are
tested as possible on both 32 and 64 bit systems.

Add missing autoconf.h include

SELFOUR-1130 Refactor tests to use new DEFINE_TEST

These changes turn tests on and off with the new `enabled` argument in
DEFINE_TEST instead of using #ifdefs.

SELFOUR-1083 refactoring related to renaming DEFINE_TEST_MAYBE to DEFINE_TEST

SELFOUR-1083 refactor tests because DEFINE_TEST_MAYBE was renamed to DEFINE_TEST

tests: correct usage of macros

s/test_assert_fatal/test_assert: none of these tests should require the
test suite to abort in their current state as they are running in a
different process.

Fix cases where test_assert would return a value from a void function as
appropriate.

MCS: timeout fault tests

MCS: if CONFIG_KERNEL_RT is set, move fault ep

On the master kernel the fault ep when seL4_TCB_Configure is called
is located in the target cspace, on the MCS kernel, it's in the callers
cspace.

Move it to the right place depending on the kernel. This only effects
tests that test faults between processes.

MCS: use api_* wrappers for recv operations

- on the MCS kernel, recv operations that will use call / replyrecv
semantics require a reply object, provide the reply object when needed
if CONFIG_KERNEL_RT is enabled. If not, it will always be seL4_CapNull
and is not used.
- use the api_recv etc wrappers from sel4utils/api.h

faults.c: refactor badged_or_restart to flags

this is easily extensible

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

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

Add env argument to helper_set_priority, mcp

- it will be needed in future when SELFOUR-1016 is merged
- merge it now to avoid the conflicts inherent on a long running branch

Fix licenses

Refactor copy_cap_to_process to libsel4utils

Move this function to libsel4utils

aarch64: update related tests

SELFOUR-114: use new fault API

Support for both sysenter and syscall mode switch types

SELFOUR-276: add support for MCPs

Where MCP = Maximum controlled priority.

This commit:

* updates the arguments to seL4_TCB_Configure
* updates the set_priority tests to test MCPs
* adds set_helper_mcp to helpers.h

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.

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

Release snapshot