mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS

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

Trivial: style fix

make the style checker happy

Added tests for maximum ASID pools usage

sel4test-tests: move cnode_savecaller to helpers

This allows cnode_savecaller to be used on other tests.

sel4test-tests: add set_cap_receive_path helper.

trivial: fix prototype to squash warning

sel4test-tests: helper for threads with custom stack size

This is useful for tests that need to create many threads that do not
need large stacks: otherwise we run out of memory.

Use correct reply objects in IPC0027

Previously this test reused the clients reply object which breaks the
test with new kernel changes.

This requires separating creation and starting of passive threads so the
server reply caps can be passed as arguments.

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.

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.

Helper for thread to handle timer interrupts

The ltimer interface mandates that for the timer to be used correctly all its interrupts
must be handled. This adds a helper for creating a thread to handle said interrupts.

Add a timer mutex to the environment

The timer is liable to be used from multiple threads due to needing to handle various interrupts
and requests for time etc. This adds a mutex for controlling access and changes the helpers to
use this mutex

Provide sleep_busy helper that passes time by busy waiting

Busy waiting is useful where you have multiple threads that need to perform time based delays,
this provides a general helper for doing this

Remove wait helper as it is broken and useless

Waiting for a single interrupt and assuming that any amount of time has passed is incorrect
according to the ltimer interface as you could have received a shorter timeout or a pending
interrupt. There is no reason to want `wait` over the `sleep` helper, which handles these cases.

pragma once and for all

SELFOUR-642 create libsel4testsupport

libsel4testsupport is made up of the parts seL4_libs/libsel4test that
were dependent on other libraries.

MCS: add helper function for MCS tests

MCS: add get_helper_reply and get_helper_sched_context

these return seL4_CapNull if CONFIG_KERNEL_RT is not set, however
they should not be used if that is the case.

MCS: don't test cnode_saveCaller on mcs kernel

- it doesn't exist in the MCS kernel
- also move cnode_saveCaller to the only test file where it is used

sel4test-tests: set_helper_affinity for MCS

- add env argument to set_helper_affinity
- if CONFIG_KERNEL_RT is set, as seL4_TCB_SetAffinity no longer exists,
migrate the thread by reconfiguring its scheduling context for that
core.

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

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.

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

Hikey: Migrate clock timer init code out of sel4test

Moved the code that initializes the clock timer out of sel4 and into
libsel4platsupport instead.

hikey: Add virtual upcounter timer for timestamps

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

SELFOUR-567: use seL4_CapRights_t

SELFOUR-192: remove recycle, add cancelSends

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

Add helper function for cpu affinity

SELFOUR-328: Add helper functions for clock timer

Adds: sleep, timestamp.

Can only be used on platforms that implement a clock timer.

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.

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

SELFOUR-421 Tests for using a device frame as an IPC buffer

The kernel should not permit using a device frame as an IPC buffer.
This change introduces two tests to check for that

Restructure are_tcbs_distinct to be able to discriminate between 1 and error.

Prior to this commit, it was not possible to distinguish between
`are_tcbs_distinct` returning 1 to indicate the TCBs are distinct and returning
1 to indicate a system call error. This commit disambiguates these scenarios.

Remove references to experimental branch (stable)

arm: add test cases for IOSpace caps.

Add test for making an ASID pool

s/AEP/Notification etc

migrate create_args to sel4utils_create_word_args

Support new muslc, loading processes via system V stack frame and use of standard _start entry point

Release snapshot