trivial: fix missed header related to tk1

Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>

trivial: change smmu to tk1 guard

Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>

trivial: Fix compiler warnings

- Remove unused variables
- Conditionally define functions that are conditionally used
- Add default cases to non-exhaustive switch statements
- Correct printf modifiers
- Correct type mismatches
- Initialize variables to prevent uninitialized usages
- Insert missing return statements

trivial: fix style

component.simple: Use correct ioports function def

When seL4's IOPort api was changed, the simple interface definition also
changed but the camkes simple implementation wasn't updated.

Update FrameFill declarations to match new api

FrameFills in the capDL spec have been updated to always require
destination_offset and size parameters before the FrameFill subtype
specific parameters.

mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS

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

camkes-tool: explicitly include gen_config.h

explicitly include gen_config.h since there is going to be
no more global configuration lib

templates: Update use of register_fill_frame

This commit follows from the addition of the size argument in
register_fill_frames(). We update the previous uses of
register_fill_frames().

camkes/templates: update for capdl api change

Use CDL_FrameFill_BootInfo constant instead of arbitrary "bootinfo"
string for specifying frame fill type.

component.simple.c: Remove bad assignment

The branch was previously unused and the assignment was always invalid

templates: don't request cap rights for object types that don't have them

camkes: use hexadecimal for physical addresses in object names

This almost always makes more sense than decimal.

templates: guard sched_ctrl in component.simple.c

If sched_ctrl is specified in a component that uses component.simple.c, the sched ctrl
allocation should only take place if options.realtime is set.

component.simple.c: fix function name

s/simple_default_core_count/camkes_simple_core_count

camkes/templates: add simple_get_core_count

Define simple_get_core_count in component.simple.c

This is required for running on the MCS kernel

Change Camkes alignment and section linking policy

There are now special sections created by the Camkes linker script that
are aligned to each of the architecture page sizes. Symbols that require
a certain alignment in order to be backed by an underlying seL4 frame of
a certain size should declare to be in the section of that size. The
purpose of this is to drastically simplify the linking policy shared
between Camkes and the capdl python scripts that would create the
address space objects.

The linker script requirement is because a compiler/assembler is not required to
respect the `align` attribute above a certain small size and any
alignment requirements on the order of page sizes needs to be specified
by a linker script.

These changes make it possible to remove some architecture special cases
that exist in Camkes templates, which is why they are removed.

It is assumed that any of the special policy associated with the special
section names: guarded, shared_*, ignore_* and persistent can still be
implemented by using the new section name with the same alignment, eg
align_12bit for all symbols that require 4k guard pages.

templates: seL4_IRQControl -> seL4_IRQHandler

These types should be seL4_IRQHandler, and were misnamed as
seL4_IRQControl, which is a different type of capability.

Update I/O port allocation in templates

This reflects an update in the model presented by the python capdl tool, which ultimately
reflects a change in the kernel capability model.

Remove arch_info from simple template

The archInfo member of bootinfo has been removed and accordingly arch_info has also
been removed from the simple interface.

Fix licenses

Add missing guard for CONFIG_RT_KERNEL

Ability to get sched_ctrl caps from simple

sched_ctrl caps should be added to a configuration
as component.sched_ctrl = core, where core determines which
CPU core the sched_ctrl cap is for.

Add scheduling context cap to simple

Interface for simple components to request extended boot information

Option for giving a simple component the arch info word

Remove hardcoded min and max untyped size

Change syntax for lists in component.simple

Currently lists of numbers for describing pointers and interrupt numbers
are parsed as a single string. This makes it hard to add comments on
each line. This changes the parsing to take a list of numbers rather
than strings so comments can be added inline.

Remove unnecessary Recycle invocation

Export untyped MMIOs through the simple untyped interface

ARM SMMU support in simple template

Adds support for getting ARM IOSpace caps through the simple interface

Check if device pointer is null in simple impl

Update simple template for simple interface changes

Update simple template for simple interface changes

Using arch_simple interface for "stable" kernel

Treat asid_pool as bool in simple template

Implemenent arch_simple interface

Fixed support for the simple template

This was broken due to attributes having types in camkes next.
Specifically, the attribute setting 'simple = true' used to treat "true"
as a string, but now it is treated as a boolean.

Replaced aep with notification internally

This changes variable names and comments replacing aep with
notification. This change should have no impact on functionality.

Add guard in simple template

IO ports only exist on x86, this guard prevents compilation
errors on arm

Reintroduce some stable kernel support

This reintroduces a minimal amount of backwards compatiblity
to allow the CAmkES VM project to work again

Remove code relating to KERNEL_STABLE.

Apparently this is no longer a thing.

templates: Squash compiler warning.

Update simple template for libsel4simple changes

Change ARCH_IA32 to ARCH_X86

Remove some 32-bit assumptions

Fix: rename 'aep' to 'notification' in arguments to alloc.

The internals of python-capdl have changed and unfortunately silently accept
the old 'aep' parameter, but then raise a message-less exception. This commit
corrects such calls to `alloc` to correctly allocate a notification object.

Find and replace seL4_AsyncEndpointObject with seL4_NotificationObject.

Always pass a cap to an AEP when associating IRQs.

Prior to this change, templates that associated IRQs with AEPs always did so via
an AEP object. Internally, the python-capdl module would allocate a cap to this
object, as IRQs always need to be associated with AEP *caps*, as opposed to AEP
*objects*. This change modifies all in-tree instances to pass a cap to the AEP.
This is marginally more efficient (due to avoiding creating another cap in
python-capdl, but the main motivation for this change is that an upcoming
change to python-capdl removes the ability to pass an AEP object as this
parameter and requires a cap.

Refactored parser init commit.

Replaced AsyncEndpoint with Notification. Applied "s/AsyncEndpoint/Notification/g" and "s/aep/notification/g" to each file.

Fix: Include stddef.h and stdint.h where appropriate.

This issue only became apparent after pulling in the change that divorced
libsel4 from libc.

Fix: Tighten some attribute regexes.

Python's `re.match` only requires a match from the start of the source string,
not exactly matching the source string. So, for example, the regex r'hello'
matches 'hello world', though you may have actually intended it to only match
precisely 'hello'. This commit fixes some `re.match` calls in template code.

Removed unnecessary check for assembly configuration being none.

Simple template: Rephrase some settings access.

This is done for style, but coincidentally I believe it resolves JIRA
CAMKES-390.

Templates: Use explicit comparison when testing against `None`.

This is slightly clearer and safer.

simple: Fix some comment typos.

Accept integer literals in any form for attributes.

Correct simple template to pull multiple configuration entries out of a single attribute instead of relying on the same attribute line being declared multiple times

Optimisation: Use new configuration dictionary interface in the templates.

Templates: Be more explicit about testing for None and [].

This commit replaces the idiom 'if foo' with explicit tests for None or the
empty list when that is the intention of the given code. This makes the
templates a little more readable and is necessary to avoid confusion in
relation to some upcoming commits.

Add cnode_size_bits attribute for overriding CNode size.

No ordinary user should need this feature, but more unorthodox components that
need to do dynamic cap operations sometimes need an enlarged CSpace.

Implement error handling in glue code.

This commit replaces previous assertion placeholders and other assumptions with
a flexible error handling mechanism. For details on how to use this, refer to
the accompanying documentation.

Fix: Missing include in simple template.

In the previous fixup I failed to notice that the simple template was missing
the same include.

Remove arch page abstractions for GetAddress and friends.

These abstractions are now in libsel4utils.

Generate an error if user requests untyped mmio regions on a kernel that does not support them

Add support to simple template for frame only untyped objects

Change template license headers to Jinja comments.

The effect of this is that they do not appear in generated output, which was a
bit confusing previously.

Closes JIRA CAMKES-319

Conflicts:
camkes/templates/autocorres/AsynchNativeFrom.template.thy
camkes/templates/autocorres/AsynchNativeTo.template.thy
camkes/templates/autocorres/RPCSimpleFrom.template.thy
camkes/templates/autocorres/RPCSimpleTo.template.thy
camkes/templates/autocorres/SharedDataFrom.template.thy
camkes/templates/autocorres/SharedDataTo.template.thy
camkes/templates/echronos/eChronosAsynch-from.template.c
camkes/templates/echronos/eChronosAsynch-to.template.c
camkes/templates/echronos/eChronosDirectCall-from.template.c
camkes/templates/echronos/eChronosDirectCall-to.template.c
camkes/templates/linker.lds
camkes/templates/linux/component.template.c
camkes/templates/linux/component.template.h
camkes/templates/linux/linuxMQ-from.template.c
camkes/templates/linux/linuxMQ-to.template.c
camkes/templates/linux/linuxMQEmpty-from.template.c
camkes/templates/linux/linuxMQEmpty-to.template.c
camkes/templates/linux/linuxMmap-from.template.c
camkes/templates/linux/linuxMmap-to.template.c

Correct type of simple_camkes_set_ASID to avoid compiler warning

Use separate untyped pools for simple generation as the overload of the existing camkes pools does not make sense as camkes allocator should not be used if you are retrieving untypeds through the simple interface

Improve the simple template with variable sized mmio regions, irq capabilities and asid pools

Release snapshot