config: include configuration header file

Include the generated configuration header file to avoid a warning about
the undefined TLS model.

mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS

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

Trivial: style fix

make the style checker happy

Use new TLS and sel4runtime support

- minimal crt0.S: construct environment in start.c and via the runtime
- update tls init to be compatible with runtime and move initialisation
to after the runtime is initialised
- wait runtime to be initialised in fault handlers

Fix licenses

Add scheduling context cap to simple

CAMKES-560: Add support for new-rt APIs to next

Replace instances of seL4_Recv, seL4_SignalRecv, seL4_Send, with
RT-compliant versions that operate on reply object caps.

s/unsigned int/unsigned; Why use 12 characters when 8 will do?

This commit cherry-picks 6f50d5e0ebf0d97665edc77a23c5f280d9dd8e6d from
ssh://github.inside.nicta.com.au/mfernandez/project.

Refactored parser init commit.

libsel4camkes: Make a static assert a runtime assert.

This assertion comes out as an extern declaration in input to the verification
process which causes issues during parsing. This commit changes this assertion
to a runtime check that is not seen by verification.

Release snapshot