Hi Amit,
This issue was fixed in this commit: https://github.com/seL4/camkes-tool/commit/3ea3061f066051a7a099cabed140163d5...
You can upgrade to the current version of the tutorials with repo init -u https://github.com/SEL4PROJ/sel4-tutorials-manifest
instead of repo init -u https://github.com/SEL4PROJ/sel4-tutorials-manifest -b refs/tags/10.0.0
which should fix your problem.
Alternatively, you could force the definition of CAMKES_C_FMT_INVOCATION in camkes.cmake to "" which will stop the code formatting commands from being generated.
Kind regards,
Kent
________________________________________
From: Devel