mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS

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

Remove references to seL4_IPCBuffer.userData

This field is no longer needed to store a reference to the IPC buffer.

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'

Use sel4runtime to initialise TLS

When starting new threads, use the sel4runtime primitives to determine
the size of the image and to write the initial data to a TLS region.

Also ensure that the __sel4_ipc_buffer is pre-configured in the TLS
region before the thread starts.

Remove any TLS behavior implemented in the architecture-specific parts
of sel4runtime.

libsel4utils: avoid resetting SC

Explicity set priority and mcpriority, rather than using
seL4_SetSchedParams as this results in the SC being set twice for the RT
kernel, which is an error due to recent changes on the new-rt branch.

sel4utils: fix checkpoints for x64

- if sysenter is enabled, copy rsp to rcx and rip to rdx
in order to abide by the kernel abi, essentially simulating what libsel4 does,
otherwise restored threads will have a corrupted stack pointer and
next ip.
- if syscall is enabled, use rbx not rsp as rsp is preserved in rbx
before entering the kernel

This change also stores the used stack pointer in the checkpoint data
structure for future calcuations of how much stack to restore

libsel4utils: Copy TLS region for new threads

SELFOUR-1295: add FSR print back to thread.c

SELFOUR-1295: uncomment prefetch fault

This is now available from libsel4 for riscv

RISC-V port

use api_tcb_set_sched_params for rt compatability

sel4utils: only set prio/mcp if > 0.

SELFOUR-1016: update for TCB API change

sel4utils: Only call SetAffinity if smp mode

sel4utils: add function to set thread affinity

Irrespective of kernel version this will work, although different
scheduling parameters need to be passed in.

Changes for removal of seL4_CapData_t type in libsel4

This updates seL4_libs to not use what are now deprecated functions and types by using
the new API wrappers

MCS: add more API wrappers

sel4utils: abstract over MCS vs master kernel API

- add api.h, which is intended to be used as a wrapper for functions
that are equivalent on MCS/master kernels, so we can seemlessly switch
between the two. This makes porting efforts easier, and without a
nasty proliferation of #ifdefs.
- use it everywhere relevant.

to squash: fail if non-RT kernel tries to create SC

SELFOUR-277: support timeout fault api changes

Support reply objects in seL4_libs

Only if CONFIG_KERNEL_RT is enabled will they work, but most of
the code is compiled in order to make maintenance easier.

Remove debug_fault_handler

- it's not used in our code base
- it's not tested (it says so)
- it duplicates sel4utils_print_fault_message
- move useful code to sel4utils_print_fault_message
- make sure sel4utils_print_fault_message doesn't use GetMR, as print
may cause it to invalidate the IPC buffer contents.

Add scheduling context support in seL4_libs

Only works if CONFIG_KERNEL_RT is enabled, however most of the code
is compiled no mater what to lighten the maintenance burden

Fix all the whitespace

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

sel4utils: consolidate config sched params

Threads and processes have the same scheduling parameters.
The MCS kernel expands on these, and this reduces duplication
between the two config structs.

libsel4utils: Correct mcp, priority swapped bug

sel4utils: refactor process and thread config interface

- add builder patterns for thread and process configs which reduces api
breakage when new features are added
- replace all usages of configs with builders
- don't set priorities in default functions (threads will be set to 0)
- set MCP in threads and processes when specified

Fix licenses

Remove #ifdef guards for the existance of different libraries

These libraries are now all part of this same repository, and so they will always exist.
Guarding for them adds unnecessary complexity

sel4utils: Align stack pointer for new threads

sel4utils: Trivial whitespace

sel4utils: Add type for thread entry point

Our thread-starting code assumes that its entry point is a function.
Previously, a void pointer was used as the type of the entry point.
Now thread entry points must be pointers to functions with a signature
void (*)(void*, void*, void*).

libsel4utils: Move src/helpers.h to global include

The utility functions in this header are useful outside of just libsel4utils

SELFOUR-114: use new fault type API

sel4utils: add support for MCP

As of this change, threads created by
sel4utils_configure_thread will have their
maximum controlled priority (MCP)
set to the same as their priority. This emulates
behaviour of seL4 prior to the introduction of MCPs.

A config option has also been added to
sel4utils_thread_config, such that threads created using
sel4utils_configure_thread_config can set a different MCP.

sel4utils: add initial_stack_pointer to sel4utils_thread to allow for the case where a process is initialised but not started immediately

sel4[utils|vspace] handle 0 sized stacks

sel4utils: specify no ipc buffer for threads

Adds an option to sel4utils_thread_config_t to
avoid creating ipc buffers for threads.

sel4utils: custom stack size option for threads

Allow sel4utils_configure_thread_custom to specify a stack size for the
thread.

libsel4utils: Remove some unnecessary type casts.

libsel4utils: Collapse some unnecessary forward declarations.

libsel4utils: Minor type and printing changes for 64bit compatibility

all: s/LOG_*/ZF_LOG*

libsel4utils: Split context initialization into args and non args portions for clarity of use

libsel4utils: Refactor sel4utils process and thread code to use arch specific directories instead of ifdefs. As a side effect, make sure the bloody stack is alligned on arm

update for s/Wait/Recv

libsel4utils: add functions to checkpoint threads, saving the stack and register set for possible later restoration