Seems xxd is not installed by default, but this is used in seL4_tools/elfloader-tool/CMakeLists.txt whenElfloaderHashInstructions is enabled. This feature is rarely used and there is no CI coverage also. But when testing https://github.com/seL4/seL4_tools/pull/160 the container gave me an error that xxd is not installed.
Seems
xxd
is not installed by default, but this is used inseL4_tools/elfloader-tool/CMakeLists.txt
whenElfloaderHashInstructions
is enabled. This feature is rarely used and there is no CI coverage also. But when testing https://github.com/seL4/seL4_tools/pull/160 the container gave me an error thatxxd
is not installed.