SELFOUR-331: add seL4_TCB_SetSchedParams

This allows the prio and mcp to be set in one system call.

SELFOUR-1016: Require auth cap to set prio/mcp

This fixes confused deputy problem when setting priorities/mcps.

SMP: Introduce ENABLE_SMP_SUPPORT

- Make it more readable and less confusing compared to the 'CONFIG_MAX_NUM_NODES > 1' check

Add compile assert to ensure tcbName size > 0

Otherwise in debug mode, printing tcbName
can crash the system.

SELFOUR-880: add seL4_DebugDumpScheduler

- when CONFIG_DEBUG is enabled, track all threads
- when CONFIG_PRINTING is enabled, provide seL4_DebugDumpScheduler which
allows the user to dump the state of the kernel scheduler.

Abstract setting ipc buffer register into arch fn

SMP: Move/rename migrateTCB() arch tcb.c

Split fault types into arch/generic

Prior to this commit faults were separate
per architecture. This commit extracts the common
fault types and introduces arch specific faults,
reducing code duplication across architectures.

Move migration logic to own function

This makes it easier to port to the RT branch, where
migration can happen in several different places.

trivial: change remoteTCBStall to take tcb

Instead of cap_t. This allows the function to be used from other
functions that have the tcb pointer and not the cap.

SELFOUR-635: support for TCB operations
This will update TCB invocations to consider multicore environment, this may include:
- adds the affinity invocation to transfer TCB between different cores and update TCB structure for core ID
- checking the thread/core state before performing TCB operation, e.g. deleting the runnable TCB, etc

SELFOUR-276: Add MCP field to threads.

Where MCP = Maximum Controlled Priority

This commit adds:

* seL4_TCB_SetMCPriority

and changes the arguments to

* seL4_TCB_Configure

As of this commit, a thread cannot create or set a threads
priority (including itself) above its mcp. Previously the kernel
did this check against a threads priority, which prevented a thread
from setting it's own priority down and then up again.

Fix TCB Max-name-length macro

The previous macro computed to (0 - sizeof(tcb_t)). Basically a negative
number, which is just a really big unsigned number, so this macro was
basically allowing TCB naming of any length.

SELFOUR-566: Decouble seL4_DebugNameThread from CONFIG_PRINTING

trivial: remove duplicated setMRs_syscall_error

Correct separation of printing and debug builds

Fixes some build issues with 541289a32603cee8242b5360b05e8f0c52795433
as well as further allowing debugging (via the capdl interface) to
happen when printing is turned off.

SELFOUR-399: object sizes and globals frame addr should come from the same source

SELFOUR-114: remove duplication of seL4_MessageInfo_t, adjust naming to avoid cparser mangling

trivial: style

unsigned int -> word_t

Rename uint32_t -> word_t in any relevant places

Fix definition of TCB_NAME_LENGTH to make it more correct

The previous definition of TCB_NAME_LENGTH assumed that the TCB was
split evenly into the cnode region and the rest. It did this by
calculating the size of the rest by using the size of the cnode
region. In actual fact the cnode region might be smaller, making
the size of the rest the size of the total tcb block size, minus
the cnode size. The max name length is therefore this region, minus
the size of the tcb_t

SELFOUR-317: rename async endpoint to notification object, and other
fallout.

Introduce 'Notification Binding': a new feature which allows a tcb to be bound to a single asynchronous endpoint.

Add ability to set a human readable thread name when running kernel in debug mode

trivial: Remove unimplemented function prototype.

Release snapshot