trivial: style fixes

Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>

Add constructor to set up heap before libc

The dynamic heap used by rumprun apps needs to be configured before libc
is initialised. The dynamic heap also depends on malloc, so it needs to
run after the vsyscall function has been configured.

Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>

seL4: Remove 'new_malloc_ops'

The call to 'sel4platsupport_new_malloc_ops' is unnecessary as
'sel4platsupport_new_io_ops' will create a malloc interface with the
initialisation of other interfaces.

seL4: Update calls to 'new_io_ops'

Following changes to the sel4platsupport IO API, this commit updates the
'sel4platsupport_new_io_ops' calls to reflect the new function
signature.

Trivial: style fix

make the style checker happy

rumprun: include configs

since global autoconf is removed, we need to manually add
back the kernel config and rumprun_Config

Use sel4runtime for TLS management.

sel4runtime will initilise the TLS for the first thread in the process
(this should not be overridden as it was in entry.c).

Instead of using the nasty trick of de-initialising the TLS with a null
pointer to set variables in remote TLS, we use the tools from
sel4runtime that aren't so destructive to configure the state for libbmk
and to also ensure that the IPC buffer pointer is set on each thread.

The existing tooling for creating and allocating TLS can still be used
as sel4runtime makes no assumptions or changes to the size or layout of
TLS.

THe platform-independant interface for configuring the TLS from
sel4runtime is also used rather than specific implementations for
different architectures.

Add _cpio_archive_end symbol

Update calls to seL4_CapRights_new

- replace with seL4_AllRights where appropriate
- otherwise update seL4_CapRights_new call sites.

Use arch_init_tls instead of configuring the TLS from another thread

Split clock code into common and arch specific code

Add compiler macros to only include code for architectures that support it

Use new simple I/O port interface

seL4: Use serial server for all stdio

Update for changed TCB api

seL4: Add new stdio platform support

A rumprun process may be initialised with existing stdio 'pipes' which
consist of circular buffers in shared memory and notification objects
for signalling the availability of data in the buffers.

seL4: Add way to register software event handlers

This makes it possible to register event handlers that will run attached
to a rumpkernel cpu context. This can be used to register event handlers
in custom rump kernel drivers that can receive notification messages
from other seL4 threads, not just hardware interrupts.

Reduce output

Implement mprotect for sel4 rumprun

Mprotect is used to implement guard pages by pthreads, and noone likes
running off the stack.

As part of this change the default page size is set to the rump system
page size such that pages can be unmapped and remapped without being broken up and
retyped. Previously the page size was the largest for the amount of
memory given to rump.

Rumprun will still use large pages if CONFIG_USE_LARGE_PAGES is set,
and mprotect is not implemented.

Remove timer thread, handle in main rump thread

- remove thread that exists just to handle timer interrupts
- signal timer ntfn from pci thread
- wait directly on timer ntfn in bmk_platform_cpu_block

Remove hardware serial from seL4 rumprun platform

Instead, rely on being provided an endpoint to
contact a serial server on.
putc now buffers characters until the buffer is full, a
newline is printed or flush is explicitly called, at this point
it will IPC the serial server to print the contents of the buffer.

Use an ltimer backed by RPC instead of HW timer

Such that we can run multiple rump apps.

trivial: name threads + minor style fixes

seL4: Add support for seL4 mcs kernel

seL4: Use new sel4platsupport timer API

sel4: pci_virt_to_mach now use different page size

Add ability to set /tmp memory size from config

seL4: Use larger page sizes when allocating memory

seL4: thread and process api change

seL4: run astyle over project

seL4: Use PAGE_SIZE_4K constants

seL4: Add CAmkES support

seL4: Reduce error output boilerplate

seL4: Change to use simple implementation

seL4: Add better timer and device untyped handling

seL4: Use new vspace new pages api

seL4: Fix new thread function definitions

seL4: Add x86_64 support to rumprun

seL4: Add seL4 as a target rumprun platform