SELFOUR-1283: Use arch include dir and include sel4_arch from there

Remove timeout_ep from set space

The RT API has changed and timeout_ep is now set with its own function

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

allocman: use simple_helper for first free slot

This fixes a bug where bootstrap_new_1level_cspace would use an
incorrect first free slot. It also replaces a simplar instance with a
call to the correct helper function.

libsel4allocman: Copy all caps reported by simple

Previously the first two capabilities were arbitrarily being skipped. Given that
one of the first two is typically the cnode (which we want to skip anyway) and
some simple implementations erroneously report a null sentinal slot as a valid cap
this would typically work.

To avoid other simple implementations from having to work around the existance of
other broken ones this corrects this loop, and will break any existing mis behaving
implementations.

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.

SELFOUR-277: support timeout fault api changes

Fix all the whitespace

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

libsel4allocman: fix bootstrap fencepost error

If a region list of 0 length is provided, this should prevent the
bootstrap code from trying to find a region list from somewhere else.

Fix licenses

libsel4allocman: Fix NULL pointer error

libsel4allocman: Use grub mmap to find all ram

sel4allocman: Correctly set first_slot in cspace

sel4allocman: Trivial comments

sel4allocman: add bootstrap_new_1level_simple

Fix some issues along the way:

* change hardcoded position for new cnode from 1 to
SEL4UTILS_CNODE_SLOT. This is arguably not the best fix (should
probably be passed in) but it works with libsel4utils processes and is
better than the magic number '1'.
* change hardcoded position for old cnode from 2 to the last slot in
the cspace, which presumably has not been used yet, rather than
2, which is being used by sel4utils processes.
* remove assumption that bootstrap_transfer_caps_simple is being
called on a 2level cspace.

Remove assumptions about the 0 paddr being invalid

There is no way to prevent platforms from having interesting memory
or devices at paddr 0, as such we should not be using 0 to signal
the absence of a physical address. This change fixes some cases
where we were doing this, and switches to sentinal value that cannot
collide with a valid page base physical address.

libsel4allocman: Memory mapped device IO allocation support

Adds support at the top level allocman interface for allocating
objects at a particular physical address (allocman_utspace_alloc_at)
as well as fullfilling allocations from 'device memory'. Uses this
for implementing the additional vka interface function vka_utspace_alloc_at

The split and twinkle untyped allocators are updated to support this
new interface. split implements the 'alloc_at' by brute force searches
over its untypeds, whilst twinkle with its lack of book keeping
is forced to fail any 'alloc_at' request

trivial: remove old includes

Remove all references to KERNEL_STABLE

libsel4allocman: Add 64-bit paging reserve types

libsel4allocman: Make allocman 64-bit friendly

When compiling for 32-bit there may be spurious warnings due to
some interface type changes. These will eventually be fixed when
other libraries are made 64-bit compatible