Axel Heider

I've rebased this at https://github.com/axel-h/seL4/tree/kernel-debug-log

I was wondering if we can remove the include from `sel4/sel4 h` at least in the next release, so it must be included manually. The next release would then remove...

Closing, https://github.com/seL4/seL4/pull/814 got merged.

See also: - https://github.com/seL4/seL4/pull/867 - https://github.com/seL4/seL4/issues/856

See also - https://github.com/seL4/util_libs/pull/117 - https://github.com/seL4/seL4_tools/pull/134 - https://github.com/seL4/ci-actions/pull/177

So, what is the process now for merging this? Just do it as long as it does not interfere with any other platform (maybe add the target to the CI...

This err usually comes if the timer test are built, but no timer support exists. We could disable them for this platform?

My first idea for this patch was changing all the invocations to use `(void)handleInterruptEntry()` with a comment that the return code is ignored because it does not make any difference....

@kent-mcleod: my first approach was checking the return codes where theses function are calles and log a message in debug builds to highlight something unexpected has happened (and then follow...

Moving this out of draft status now, since all comments seem to be resolved.