sperating tx2_smmu from arm_smmu

Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>

added test_error_eq to show userError on assert

For a KernelInvocationReportErrorIPC config build,
errors are suppressed and should be shown on
seL4_Error assert failures. Using this would be
no different for other config builds.

libsel4test: fix compilation on GCC 9

Each 'struct testcase' is aligned to 64 bytes. Use the testcase_t type
instead of 'struct testcase' declaring the array to make the compiler
realise this and avoid -Waddress-of-packed-member.

libsel4test: Add device_frame to env

We add this struct member to fix the functionality of a test. More
specifically, the test where we assign a device frame to a thread's IPC
buffer.

libsel4test: Remove seL4_timer_t from env

This struct member was not being used anywhere at all, so we remove it.

seL4_libs: remove autoconf.h from seL4_libs

this commit removes autoconf.h generation from each lib and
append '#include <<lib_name>/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'

trivial: style changed files

sel4test: add RPC support

This just adds a few members to sel4test structs that enable use of
sel4rpc in sel4test.

libsel4test: s/test_ge/test_gt s/test_le/test_lt

This prevents confusion between test_geq and test_ge by renaming test_ge
to test_gt, which is consistent with other language conventions. This
change will break existing code using test_ge/le which should update to
the test_gt/lt versions.

libsel4test: Add timeout and a util function for RPC Timer requests

* Document sel4test_time interface
* Remove SEL4TEST_TIME_PERIODIC_START in favor of a more generic TIMEOUT value

sel4test: Declare env struct formally in libsel4test

This environment definition is presently used by any test declared by DEFINE_TEST, and so
must be a common declaration.

For correct compilation the partial (and incorrect) duplicate of the environment in the
serialserver tests is removed in this same commit

sel4test: Declare interfaces with more abstract notion of environment type

Withing a single application the 'env' that is passed to the various interfaces may not be
the same type. Claiming that they are all a single yet to be defined type is confusing and
incorrect.

sel4test: Make test_type a word to ensure alignment

sel4test: make test name not const

so we can modify it (by adding a null terminator in case the test name
exceeds TEST_NAME_MAX)

Make testcase aligned on both 32- and 64-bit

testcases are declared in a specical section and must be aligned to
exactly bytes bits for loops iterating through these sections to work.

With the change to C89 style strings, tests became unaligned on 32bit.
This fixes that problem by defining the string length to the exact
amount to pad the struct to 64 bytes.

SELFOUR-1083 rename DEFINE_TEST_MAYBE to DEFINE_TEST

SELFOUR-1083 Store name in test case and use C89, add elf_get_section

The test name is stored inside the testcase struct in order to make it
simpler to extract the test cases from sel4test-tests.

I changed the DEFINE_TEST_WITH_TYPE macro to use C89 instead of C99
style assignment because the domains.cxx (C++) tests would not compile
with C99-style assignment for strings.

I added sel4utils_elf_get_section() so that sel4test-driver can extract
the section containing test cases from sel4test-tests.

SELFOUR-894 run tests selectively based on configs using DEFINE_TEST_MAYBE

sel4test: move test section definitions to header

So that other apps can access these sections.

sel4test: refactor test result status into an enum

This allows tests to specify SUCCESS, FAILURE or ABORT. ABORT indicates
a fatal failure where the tests must stop. It replaces two global
variables to simplify and reduce global state.

It also changes sel4test_start_new_test to sel4test_reset, which resets
the state of the global variables in this library used for tracking the
current test_result_t.

is_aborted is removed as its no longer neccessary.

SELFOUR-642 move parts of libsel4test that depend on other libraries to
sel4test/libsel4testsupport

Rename `prototype.h` to `testutil.h` and `test.c` to `testutil.c`.

SELFOUR-1076 update sel4test_run_tests to use test_types

SELFOUR-1073 add struct and macros for test_type

Revert "SELFOUR-1072 add definition for test_type"

This reverts commit c084d6cedac202f58cb0b7043e45cce3452fcd66.

Revert "SELFOUR-1073 add macro definition for test_type"

This reverts commit 10c768977d4020cedafbd42d6e6d625df94ba002.

SELFOUR-1073 add macro definition for test_type

Includes basic test_type example.

SELFOUR-1072 add definition for test_type

Fix all the whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remove blank lines at end of files

Fix licenses

libsel4test: Mark some char * parameters as const.

libsel4test: Fix 32-bit size assumptions in printing

libsel4test: Explicitly align testcase struct

This 'prevents' gcc from providing unexpected extra padding when this struct is
used as a static variable. It does not prevent padding so much as set the padding
to what gcc would make it anyway.

libsel4test: Put whitespace in-between adjacent string literals.

Later C++ standards interpret characters immediately adjacent to a string
literal to be an encoding modifier (similar to unicode literals). This commit
inserts whitespace to avoid this ambiguity. It should have no effect when
compiling under standards without this interpretation.

libsel4test: Correct test_op to not include stringified arguments in format string

Presently you can write a valid C expression such as 'a%d', that also as meaning
in a format string. This is fixed by stringifying in the arguments list and
putting '%s' in the format string instead

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 sel4test.

libsel4test: bandaid to make sel4test-driver report the correct number of tests passing