- remove unused header files replaced by declare_default_headers
- move timer.h to drivers/timer/exynos5422-mct.h
- move mct.h to drivers/timer/mct.h

- remove unused header files replaced by declare_default_headers
- move machine.h to drivers/irq/bcm2836-armctrl-ic.h

- remove unused header files replaced by declare_default_headers

- move timer.h to include/drivers/timer/am335x.h
- move interrupt.h to include/drivers/irq/am335x.h
- remove unused header files replaced by declare_default_headers

- move timer.h to include/drivers/timer/allwinner.h
- remove unused header files replaced by declare_default_headers

For declare_default_headers:
- use kwargs to make function more robust / not sensitive to argument
ordering
- add formatting hint to .cmake-format.yaml

- remove unused header files replaced by declare_default_headers

 - remove unused header files replaced by declare_default_headers

- remove unused header files replaced by declare_default_headers

This allows for arm headers to be generated for an arm platform
in include/plat/default that specifies the following:

- maxIRQ
- TIMER_CLOCK_HZ
- the timer header to use
- the interrupt controller header to use

Reduce duplicated code by moving values that are different across
configs/attributes into their own conditionals, rather than the entire
call to pte_pte_small_new. This alters arm only.

The complex conditions for the AARCH32 TCB size are updated to better
reflect the circumstances in which the TCB will have a particular size.

This makes it easier to understand what particular accesses to the TCB
are occuring via the stack.

This changes the comments regarding the size of the TCB to be more
generally accurate to help manually determine the size of the TCB for
different configurations.

This commit updates the aarch64 build to pass the c-parser.

- replace 0b constants with decimal
- remove empty array definition
- replace __uint128_t with uint64_t, and double the array size
- remove variable shadowing

No further verification guarantees are provided for aarch64 code.

This commit updates the ia32 build to pass the c-parser.

- replaces ++i with i++
- use void in functions with no parameters
- add a missing typecast
- remove a void cast of an unused variable

It does not provide any verification guarantees about ia32 code.

This is needed to avoid circular include dependencies that result from
other header files trying to use these macros.

The SBI memory was mapped outside the kernel window. This would trigger
an instruction access fault on some hardware, when the bootloader has set
up PMP to protect the SBI memory. Instead of protecting a particular memory
region, the PMP locks the entire page table entry that covers the region.

The PADDR_LOAD and kernel base are adjusted to have the SBI memory
included in the kernel window. So that the SBI memory can be mapped as
part of the kernel image to a separate page table entry. This also
avoids the kernel to allocate untyped memory from the SBI region.

CONFIG_ARM_SMMMU has one too many 'm's

This is for the new GIC code

Change-Id: I64fd20767e9b46b3300d87397c72e4e55d386746

Add .cmake-format.yaml which defines custom functions with kwargs to
style nicely

Our upcoming cmake styling tool requires any custom functions you want
styled nicely to be lower case. We only need to style these two nicely,
as they have kwargs we would like aligned.

This platform doesn't use the Arm generic timers, but the device tree
specifies that one exists. This commit moves the timer driver to the
drivers folder and prevents the generic timer from being selected in the
device tree.

The symlinked file for this header was removed.

These files can be included normally using libsel4 include paths. This
removes situations where the same file is available under different
include paths due to symlinking into different directory structures.

Now these bitfield definitions are generated from the same source file
in the kernel and libsel4, and also result in the same include path: <sel4/shared_types_gen.h>

The previous 510GiB mapping was chosen to make it easier to eyeball addresses
while debugging: it was trivial to determine the physical address that a virtual
address pertained to in the kernel with this mapping.

This was no longer considered to be a necessary benefit, so this is being
changed.