Don't set external __sysinfo in runtime

This removes the assumption in the runtime that a __vsyscall references
to a virtual syscall handler must be set by the runtime in an external
libc.

To ensure that musl can still initialise, there is a reference made to
the vsyscall handler in the stack of the root task if one exists
(otherwise the stack references a dummy).

Signed-off-by: Curtis Millar <curtis@curtism.me>

Use internal stdint and stddef

This changes sel4runtime to use the internal minimal stdint and stddef
removing the dependency for those files from an external libc.

This also removes the imports and dependencies for stdbool, string, and
assert.

Signed-off-by: Curtis Millar <curtis@curtism.me>

trivial: style fix

Signed-off-by: Curtis Millar <curtis@curtism.me>

Move env init into external includes

This allows an external runtime to re-use the initialisation of the
runtime environment.

Signed-off-by: Curtis Millar <curtis@curtism.me>

trivial: add auxv and envp accessors

Signed-off-by: Curtis Millar <curtis@curtism.me>

trivial: envp/auxv saved before constructors run

Signed-off-by: Curtis Millar <curtis@curtism.me>

Save argv in runtime

Ensure that the runtime captures argv so that it can be accessed later
in the process without needing to be explicitly passed around.

Signed-off-by: Curtis Millar <curtis@curtism.me>

configurable exit callback

Allow the process to provide a callback to be used to exit the
applicaiton.

As this runtime is lightweight, it knows nothing about the environment
in which it is executing and so there is no way to exit the process
'properly'.

If a process attempts to exit and there is no configured exit callback,
the thread tha called exit will fault after all destructors have run.

Signed-off-by: Curtis Millar <curtis@curtism.me>

Do not define __sysinfo twice

It is already defined in musllibc and defining it here results in
multiple definition errors with clang 11. Will need to be revisited
when musllibc is removed.

Signed-off-by: Stefan O'Rear <sorear@fastmail.com>

Trivial: style fix

make the style checker happy

fix various including problem

1: replace quote includes with bracket includes
2: add missing kernel autoconf
3: remove one unused include

sel4runtime: include configs

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

Initialise sys_info

This forces sys_info to be allocated in an earlier linking stage
avoiding the symbol being merged which linking component groups

Only use seL4_TCB_Suspend if a tcb cap is set

Camkes components don't always have access to their TCB cap.

Handle NULL process names

Call constructors after static TLS init

Make static_tls static

This avoids a problem where static_tls is not allocated until final
linking, causing private static tls regions to be merged when creating
grouped camkes components.

Remove const for bootinfo.

Remove initial_thread_tcb check in try_init_static_tls

We no longer require the initial threads tcb to set TLS.

Expose elf_helper.h in runtime interface as elf.h

This needs to be used by other libraries that need to intialise an
environment.

Set process name if tcb and ipc buffer are set

Otherwise it crashes.

Fix minor issues in sel4runtime_move_initial_tls

- always set the tls base
- only name the thread if initial_thread_tcb is set

Fix alignment.

Alignment fixed for real this time.

Update licence dates.

Make thread methods publically available.

Make access to thread ID registers publically inlineable.

Add function to set tls_base of current thread.

Clarify use of registers in ARMv6

The function to write to tpidr_el0 should not exist for ARMv6.

Refer to public version of thread_arch.h

Use new TLS base function.

Clarify the ARMv6 requirements.

Remove additional endif.

Make set_tls_base always succeed.

sel4runtime_tls_base -> sel4runtime_get_tls_base

Fix sel4runtime rename in aarch32

Don't name thread without an IPC buffer.

Restore implementation of sel4runtime_initial_tls_enabled

Remove empty line.

Remove TLS book-keeping structure.

All of the logic that the runtime performs can be done relative to
a TLS base address (provided or current). This means that no
book-keeping objects are needed.

Improve setting of remote TLS variable.

Discourage using the function directly and encourage using the macro
which enforces generic type checking.

Perform the type check without creating an unused variable.

Handle IPC buffer initialisation when thread cannot modify itself.

Generalise setting of remote TLS variables.

Fix exit procedure.

Partially remedies process exit with multiple threads. There are still
S

Remove extraneous capability tracking.

Copy memcopy and memset for musl libc.

memset and memcopy have been taken from our fork of the musl libc
library. Appropriate copyright has been added to each file.

Use correct alignment values.

Add additional functions to aid rumprun.

This provides rumprun with enough information to allocate and
pre-initalise the TLS with minimal modification. This should also assist
in the creation of green-threading libraries.

Make the initialisation process clearer to better describe the resultant
TLS layout across differing platforms. Also fixes alignment issue on
ia32 when TLS is of an odd word size.

Zero memory for TLS bss.

Single IPC buffer variable.

Remove duplicate IPC buffer variable in threads.

Note that the use of `seL4_GetIPCBuffer` requires an initialised TLS
region.

Automatically set the libsel4 ipcbuffer for new TLS.

Defer storing of IPC buffer to libsel4.

Make `seL4_GetIPCBuffer` assume initialised TLS.

This means that most invocations cannot occur unles TLS is initialised.
As a side effect, the `seL4_DebugNameThread` needs to be delayed until
TLS is initialised.

Parse ALL the ELF headers.

Turns out that the elf headers are provided as an array, not
individually.

We now parse the entire array rather than the first element.

Remove unnecessary 2-word padding.

Allow re-initialisation of initial thread TLS.

Due to the manner in which sel4test 'forks', it does not configure a
valid TLS for the new process. This change allows it to re-initialise
the TLS of the initial thread (assuming it has the same essential CNode
layout that the initial process did at startup).

This change is hazardous and makes it easier to configure an invalid TLS
and thread object within a process and should be used with care.

Set up empty TLS correctly.

Consumer auxiliary vectors for seL4 environment.

Relocate the auxv.h for sel4runtime

This will make the auxv.h for sel4runtime externally available (such as
for sel4utils).

Set sysinfo pointer.

Minimise external dependencies.

At the momement, it appears that we will need to rely on at least _some_
C library, although it doesn't matter which.

Execute constructors and destructors.

Execute all constructors on process startup and all destructors on exit.

Rename IPC buffer access methods.

Track TLS and thread object on all platforms.

Add thread variable in TLS.

Add licenses

Use direct bootinfo instead of cspace descriptor.

Add thread structure and debug name.

Fix cspace tagged union.

Fix duplication of NULL and constness.

Store more of the runtime state.

Load environment into runtime.