Axel Heider

I wonder, should the seL4 release 13.0 (https://github.com/orgs/seL4/projects/2) include proper RPi4 support also?

I've added the "Test with:" in the description, so the github CI run will use these PRs.

It seems the test failure happens due to a race condition, where the output from different thread overlaps. Instead of `echo_int: 2` we get ``` echo_int: client Event received! client...

yes this is a copy&paste bug that keeps spreading. I've already upstreamed a few patches that fix this for the platform I have access to. See also https://github.com/seL4/util_libs/pull/38#discussion_r484764026

Maybe the compiler warning configuration is different in the projects?

Actually, this is a follow-up on my PR comment https://github.com/seL4/camkes-tool/pull/104#discussion_r840180518 but the changes there got merged already, and this was not addressed. So, while this is another breaking change, it...

Fixed a few typos.

Rebased. Can we merge this now, do the other PRs that use this get unblocked?

rebased and improved the absolute/relative path handling a bit more.

> When I originally approved this, it was a much smaller change: [e5981ae](https://github.com/seL4/seL4_tools/commit/e5981ae372a350993178b39d64f72e179ed082ea), so my approval doesn't apply to the current version of the PR. The older approach did not...