switch arm_smmu to tk1_smmu

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

Explicitly set cspace_size_bits in new processes

libsel4utils allows you to specify the size of a new processes cspace in
its interface. Relying on changing the library's default by changing the
value of LibSel4UtilsCSpaceSizeBits is much less flexible.

sel4test-driver,tests: Alloc and copy device frame

This commit adds logic to the driver and 'test' to allocate and copy a
device frame across. This is to fix a particular test and allow other
tests in the future to be able to use this device frame in their unit
tests.

test_init_data_t: Remove serial object fields

These fields are no longer used as the serial objects are dynamically
allocated via a different RPC mechanism.

Move test_init_data_t compile assert

As the compile time assert doesn't need to be executed at runtime, it
doesn't need to exist in the main function and can be placed under the
struct definition that it refers to.

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

RISCV port

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

sel4test-test: Remove env for basic tests

This environment type is moved to libsel4test so that tests that are not declared in this
application can see their environment type.

minor refactor of test extraction

- remove duplicated code by adding collate_tests function which also
means now all test types will check the .enabled field.
- null terminate testname strings to avoid nasty strcmp failure
- don't calculate seen_tests, just use all_tests which is the max number
of tests we have
- calculate location of sel4test-tests in sel4test_run_tests rather than
use test_init_data to pass the values around. test_init_data is only for
data shared between sel4test-tests and the driver.

Use pragma in test_init_data

SELFOUR-1083 extract test cases from sel4test-tests using elf magic instead of bash script

Add README to describe how to declare tests

MCS: add sched_ctrl caps to driver and tests

- add simple functions in tests for getting sched ctrl
- copy sched ctrl caps between driver and test process

Use ltimer interface in sel4test

- remove all plat specific timer code
- new timers don't need any code added to sel4test!
- also remove plat_copy_serial caps as it is empty for all cases

Fix licenses

hikey: Add virtual upcounter timer for timestamps

* Requires the addition of an extra timer notion, extra_timer.

Trivial: Use uintptr_t for physical address

Clean up seL4test backend

* Clean up the structure of seL4test.
* Make TK1 use the same device as both the
event-timer and wall-clock timer.

smp: some tests for multicore
This will update the env to include number of available cores
- Test suspending and resuming a thread on diffrent core
- Test thread is runnable on all available cores
- Test core stalling is behaving properly
- Test TLB invalidated cross cores
- Test FPU remain valid across core migration

SELFOUR-328: add clocktimer for pc99, omap3 & imx6

User device untyped and s/PIT/HPET for x86

This commit changes the way sel4test-driver passes
device memory to sel4test-tests: instead of copying the frame
caps it copies untypeds, to be compataible with how seL4_libs
has changed after device untyped. sel4test-tests now gives
the relevant untyped to its allocator so seL4_libs can
initialise the relevant devices.

Additionally, this commit changes to use the HPET and IOAPIC
instead of the legacy PIT/PIC on x86, allowing us much greater
timer accuracy in tests and faster tests in general.

Increase TEST_NAME_MAX

TEST_NAME_MAX is presently 20 characters and there is a test whose
name is currently 20 characters. This works by chance presently
as we do not force there to be a NULL byte and the next field
tends to be NULL, leading to a valid string

Consolidate the shared test_init_data_t struct

Previously there was a struct that was used to access shared memory between
the driver app and the test child processes. This struct's definition was
duplicated between the two apps.

This patch does an initial fixup for that, by making the shared-mem struct
definition a non-relative include for the driver app, and then symlinking that
to be a non-relative include for the child app as well.