Axel Heider

Could you add a description for the scenario that this implements?

I will take over this then also

Might be due to cold caches in the first run?

See also discussion at https://github.com/seL4/sel4bench/pull/20#issuecomment-1043436405 and https://github.com/seL4/ci-actions/pull/215

Seem it's some more work, lots of referenced actually...

I've done some dumb replacement now and the build should work again. The binary `python-capdl-tool/tests/resources/arm-hello.bin` still needs to be replaced with an aarch32 version

I wonder, should we add `ARM_HYP` also or do we leave this as a future task that is only done if somebody really needs this?

Is this why the " / capDL-tool (ghc)" fails: ``` /bin/sh: 1: dot: not found ``` or am I missing something?

@kent-mcleod: Based on you comment, should I drop this PR and make a new one that just adds comment explaining what this still exists? That should be sufficient to demystify...

Ok, See https://github.com/seL4/capdl/pull/40