Add UNUSED tags

These variables end up unused if DEBUG_BUILD is enabled but PRINTING is not

Add thread name to debug info for SysDebugHalt and SysDebugSnapshot

x86: Dangerous read/write MSR interface

Provides a syscall interface for reading and writing arbitrary MSR values. This is
being introduced as an alternative to the DebugRun, as the main purpose of debug run
is for modifying the performance monitoring events via read/write MSR.

Add CONFIG_ to syscall.c and add missing include file

Fix typo

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.

SELFOUR-862: CONFIG_PRINTING --> seL4_DebugPutChar

seL4_DebugPutChar is only available when CONFIG_PRINTING is enabled

s/DEBUG/CONFIG_DEBUG_BUILD/

DEBUG definition is not supposed to be used in the kernel, rather CONFIG_DEBUG_BUILD,
which can be toggled separately to user notion of DEBUG

Modify FinalizeLog syscall

There is no way to know how many entries the syscall log contains
otherwise. One option was iterating through until finding a 0
terminator, however this requires the log to be zeroed before each
trial. This changes the FinalizeLog syscall to return the number of
entries.

Replace Arch_handleInterrupt with Arch_finaliseInterrupt

x86: Handle pending interrupt before scheduling thread in handleSyscall

In handleSyscall the current thread may be preempted to handle a pending interrupt.
With kernel mode interrupts in x86 this handling was delayed until we were about
to switch back to user mode. This change unifies the handling with ARM, where the
interrupt is handled prior to calling the thread scheduler.

Add userError messages

SELFOUR-413: refactor libsel4 fault API

This is a *breaking API change*

This commit:

* makes seL4_Fault_tag_t common between the kernel and libsel4
* deprecates the existing functions from sel4/messages.h includes
* introduces a new fault API in sel4/faults.h and
* sel4/sel4_arch/faults.h
* deprecates seL4_GetTag(), as the function did not work without
the user calling seL4_SetTag() first (seL4_MessageInfo is passed
in registers and not set in the IPC buffer)
* removes previously deprecated functions (deprecated prior to 3.0.0)
* updates the seL4 manual to reflect the changes

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

add seL4_BenchmarkFlushCaches() for arm and ia32

Available when CONFIG_ENABLE_BENCHMARKS is set, flushes caches for
running cold-cache benchmarks

Benchmark: Pack arch-independent benchmark-related files into separate directories

SELFOUR-632: implement cores non-architecture dependent structres

SELFOUR-603 - Benchmark: Add null syscall

SELFOUR-538: Avoid out of bounds read in debug mode

Benchmark: Implement per-thread reset syscall

SELFOUR-615: arm entry point stubs

define arch entry hooks instead

Consolidate benchmark entry/exit

Move the benchmark pre/post ambles into the now existing entry/exit
hook functions

Provide generic C entry/exit hook routines

It can be deseriable to run code before/after user mode, but
not have to write it in assembly. This commit adds such stubs
that get called as the first/last C code when coming in
and out of the kernel

SELFOUR-624: remove redundancy in io.[c|h]

And clean up a bit while we are there

SELFOUR-518: Benchmark - User-level log buffer, delete dump and size system calls

Given that the log buffer is now
(79291252a8cf7bf88a6597a96e25313d56e9c7a5) in user-level, the kernel doesn't have
to dump and send the size for users. Users have to take care of this.

SELFOUR-518: User-level log buffer

Remove global ksLog and use KS_LOG_PPTR instead

Benchmark - Log buffer: use global page table

SELFOUR-607: inline remaining irq path functions

trivial: fix bbone build

SELFOUR-526: Refactor benchmark/debug syscall kernel entry

SELFOUR-566: Decouble seL4_DebugNameThread from CONFIG_PRINTING

SELFOUR-448 Benchmark: Track thread's CPU utilisation time

trivial: fix warning when benchmarks enabled

Benchmark: include scheduler time

Default MAX_NUM_TRACE_POINTS to 0 for compatibility

Some libraries and apps assume MAX_NUM_TRACE_POINTS = 0
if benchmarks are disabled.

trivial: style

SELFOUR-446 Unify code base for trace points and track feature

SELFOUR-446 Benchmark: Track interrupts and user/vm faults

SELFOUR-446 Benchmark: Track syscall feature

Benchmark feature that currently:
- Keeps track of system calls info
- Start time
- Duration
- Capability type
- Invocation tag
- Log the number of invocations of each system call*
- Log the number of invocations for each capability type per syscall.
- Has 3 new syscalls (dump, reset, get size).
- This new feature uses the existing log buffer (which is 1MiB for x86
and ARM). Since the number of syscall invocations is not
deterministic, the logged number of invocations is limited by the size
of the buffer. I suggested to enable the users to pass their own
user-level buffer, to enable more flexibility, later.
- ENABLE_BENCHMARKS is now a parent config option of trace points and
system call track features, they can't be used at the same time.

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-114: remove duplication of seL4_MessageInfo_t, adjust naming to avoid cparser mangling

Fix: Make settings actually take effect on spurious interrupt reporting.

The `IRQ_REPORTING` configuration variable is documented to affect whether
undelivered and spurious interrupts are reported, but it previously only
affected whether undelivered IRQs were reported. Spurious interrupts were
always reported leading to needless UART spam when you were not debugging an
interrupt issue.

Add debug functionality to print the kernel entry reason and arguments at any point in the kernel

Change additional int->word_t due to interraction with the C parser to ease verification

Rename uint32_t -> word_t in any relevant places

Change casting from int->long to be compatible with both 32 and 64 bit compilations

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).

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

Add seL4_NBWait: non blocking wait for notifications and endpoints.

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

Removed CONFIG_BENCHMARK config option. All checks for '#ifdef CONFIG_BENCHMARK' replaced with '#if CONFIG_MAX_NUM_TRACE_POINTS > 0'.

Added support for using multiple tracepoints at the same time.

SELFOUR-220: only delete reply cap when waiting on sync endpoint

Trivial: Fix comment typo.

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

Release snapshot