Move the inline assembly into its own file

Clang was having trouble handling some of the assembly instructions when
they were declared in the C file

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'

x86 no longer uses dynamic segment selectors.

Fix regression test for IA32 on MCS kernel.

The `seL4_SendWithMRs` syscall on ia32 only has 1 message register
argument under the RT kernel.

Remove IPC buffer dependency for regression test.

Due to the nature in which the test thread for the write registers test
is run (without any initialisation), it may not be guaranteed to have
acceess to its IPC buffer.

`seL4_SendWithMRs` is used in place of `seL4_Send` such that no attempt
is made to access the IPC buffer.

SELFOUR-1278: fix TODO in regressions test

Now we check all the TCB write registers that we can

RISC-V: s/context.sepc/context.pc

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

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 refactor tests because DEFINE_TEST_MAYBE was renamed to DEFINE_TEST

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

Use seL4_Wait instead of seL4_Recv where possible

On the master kernel seL4_Wait just calls seL4_Recv and does not return
a message tag. On the mcs kernel, seL4_Wait is a first class system call which
waits on an object without requiring a reply object, but does return a
message tag. Therefore seL4_Wait can be
used equivalently on both branches as long as the tag is not required.

This change replaces calls to seL4_Recv where the return value is
ignored with seL4_Wait.

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 licenses

aarch64: update related tests

Missing timer ACK calls

Before waiting for a timer interrupt the IRQ needs to be acked to
ensure any previous unacked IRQ that will have masked the interrupt
gets cleared. This commit corrects two places where this was not
happening

x86: Regression for escalating prvilege to CPL0

Change ia32 to use fs register for IPC buffer

Remove gs selector from x86_64 registers

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

update for API changes: AEP -> Notification etc

Release snapshot