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

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

SELFOUR-1083 refactoring related to renaming DEFINE_TEST_MAYBE to DEFINE_TEST

SELFOUR-894 run config-controlled tests with DEFINE_TEST_MAYBE

Fix whitespace

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

Fix licenses

aarch64: update related tests

SELFOUR-114: use new fault API

Add Hikey support

Support x64 tests

This fixes various tests that were not compatible with x64. The real
changes are to tests that create/map/recycle frames and these have
been rewritten to be clearer and support both 32 and 64bit.

Other tests have minor changes for type compatibility and reserving
additional amounts of memory needed for the changes.

arm: using a full barrier should serve the purpose

The test used "dmb st" which is for stores only, so
the following load is not guaranteed to observe
the new data. A full barrier should be used to
ensure that the following load is not executed
before the store.

Port most tests to be compatible with x64

Some trivial whitespace fixes

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

Test that cache operations can be performed on all page sizes

VSpace API changes for ARM

Fix cache test failure on Krait

Drain store buffer after writing a value through the 'uncached' pointer,
so reading through the 'cached' pointer can see it.

Release snapshot