Convert license tags to SPDX identifiers

This commit also converts our own copyright headers to directly use
SPDX, but leaves all other copyright header intact, only adding the
SPDX ident. As far as possible this commit also merges multiple
Data61 copyright statements/headers into one for consistency.

SELFOUR-161: Merge Page_Remap with Page_Map

- Remove Remap function from seL4 API for arm, x86, riscv and the
respective invocation implementation.
- Update Map as replacement for Remap
- Update manual

This allows a change of rights if the frame being mapped is already
mapped in at the given vaddr. To map a page to a different address,
unmap it first.

Co-authored-by: Hesham Almatary <hesham.almatary@data61.csiro.au>
Co-authored-by: Anna Lyons <Anna.Lyons@data61.csiro.au>
Co-authored-by: Victor Phan <Victor.Phan@data61.csiro.au>
Co-authored-by: Kent McLeod <Kent.Mcleod@data61.csiro.au>

mcs: scheduling context donation over ipc

After this commit, threads blocked on an endpoint can recieve a
scheduling context from the thread that wakes the blocked thread.

manual: document seL4_TruncatedMessage error

manual: promote sel4_arch API docs level

This change makes sel4_arch api docs the same level as the base arch api docs. This is because the
header level became too deep for latex section types, and there is not much advantage to such deep
hierarchies.

riscv: document API methods

manual: Expand parts of the x86 virtualisation documentation

This provides documentation for kernel design of the x86 virtualisation, the additional
syscall and object invocations. The ARM design is not fully expanded.

manual: remove some unused tex commands

manual: remove some unused tex commands

manual: Explicitly say TODO where doc is missing

manual: Docs for debugg and benchmark syscalls

manual: Use generated api docs in manual

manual: Parameterize \apidoc cmd with section type

manual: Using generated obj inv documentaiton

JIRA: SELFOUR-606

manual: Tex filenames derived from doxy filenames

Rather than having a custom naming convention for generated latex files,
we use names based on the names given to xml files generated by doxygen,
which in turn take their names from groups defined in doxygen comments
in various header files.

JIRA: SELFOUR-606

Remove recycle

Removes the recycle operation and adds an operation
to cancel any badged sends on and endpoint. Calling
Revoke + CancelBadgedSend is equivalent to Recycle
on a badged endpoint

add basic api for setting affinity

SELFOUR-499: X86, ARM: Add userspace invocations for hardware debugging

This commit implements the body of SELFOUR-499. The API exposes the x86 DR0-7
and ARM coprocessor 14 features to userspace by virtualizing them as context-
switched registers in the TCB. Implemented as TCB invocations. This feature is
only built when CONFIG_HARDWARE_DEBUG_API is selected.

* Add low-level support routines for setting, unsetting, getting, enabling
and disabling breakpoints.
* Add support for single-stepping as well.
^ Single-stepping is not supported on ARMv6 since the hardware
doesn't have support.
^ ARM implements single-stepping as instruction breakpoints
configured to fault on every instruction -- this is achieved through
the "mismatch" mode, which is only supported from ARMv7 onwards.
* Also support explicit software break requests, a la "BKPT" and "INT $3".

* New invocations:
* seL4_TCB_SetBreakpoint().
* seL4_TCB_GetBreakpoint().
* seL4_TCB_UnsetBreakpoint().
* seL4_TCB_ConfigureSingleStepping().
* New constants:
^ Event types:
^ seL4_InstructionBreakpoint.
^ seL4_DataBreakpoint.
^ seL4_SoftwareBreakRequest.
^ Access types:
^ seL4_BreakOnRead.
^ seL4_BreakOnWrite.
^ seL4_BreakOnReadWrite.
^ Exports:
^ seL4_NumHWBreakpoints.
^ seL4_NumExclusiveBreakpoints.
^ seL4_NumExclusiveWatchpoints.
^ seL4_NumDualFunctionMonitors.
^ seL4_FirstBreakpoint.
^ seL4_FirstWatchpoint.
^ seL4_FirstDualFunctionMonitor.

See documentation in the seL4 API manual.

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.

SELFOUR-209: Document 28-bit badges

SELFOUR-429: Document x86 interrupt invocations

Add documentation for seL4_IRQControl_GetIOAPIC and seL4_IRQControl_GetMSI,
which only exist on x86 platforms.

Syscalls docs in manual generated by doxygen

This adds a dummy header with syscall prototypes with doxygen comments.
The build process for the manual includes parsing these comments using
doxygen. Doxygen produces an xml file which is parsed by a script to
generate latex which is included in the manual. This approach was chosen
over doxygen's native latex output to gain greater control over the
formatting of the generated documentation, and to take advantage of
existing api-formatting support in the sel4 manual.

Related issue: SELFOUR-606

SELFOUR-484 x86: Get status bits invocation

This adds an invocation on page directories that returns the
status (accessed + dirty) bits of mapping.

SELFOUR-251 Add descriptions of the seL4_Page_GetAddress_t

Added API documentation for the ARM cache flushing functions.

SELFOUR-262

SELFOUR-279: rename Wait -> Recv, add wrappers for seL4_Poll and seL4_Wait for notification objects.

This commit deprecates seL4_ReplyWait, removes seL4_NBwait completely,
and changes the return type of seL4_Wait to void (seL4_Wait should be
used for notification objects, and seL4_Recv should be used where
seL4_Wait was used previously for endpoints).

Add seL4_NBWait: non blocking wait for notifications and endpoints.

manual: seL4_Notify -> seL4_Signal; clarifications

- clarified description of `sender` param in Wait/ReplyWait
- updated name of seL4_Notify in API reference
- message word is removed in seL4_Signal
- clarified unbadged/0-badged behaviour in seL4_Signal
- prevent hyphenation inside seL4_Signal

manual: notification/signalling terminology

Terminology clarification:
- synchronous endpoints -> endpoints
- asynchronous endpoints -> notifications (and notification objects)
- notify -> signal

Also minor language edits.

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

Revert "s/AEP/Notification/ completed commit :-("

Committed to wrong branch

This reverts commit 50810ac44a4f90f07cfe1aba6f8bf14c30f1d85d.

s/AEP/Notification/ completed commit :-(

Had forgotten the "-a", bear with me, I'm a git newbie...

Recomment of branch getpaddr on release snapshot

Release snapshot