Hello, there seem to be issues with the tutorial build system, at least for CAmkES tutorial 1. After adding the necessary details and running, I get "...Booting all finished", no further messages. The solution runs fine, I get "Starting the client" etc.

Made fresh copies of the tutorial and solution, and overwrote the tutorial's files with the solution's. Diff shows that only .tute_config (--solution) and the .md files differ. Diff on the "_build" folders shows multiple differences. I assume there is an issue there?

mkdir tutorial; mkdir solution
./init --tut hello-camkes-1
mv hello-camkes-1 tutorial
mv hello-camkes-1_build tutorial
./init --tut hello-camkes-1 --solution
mv hello-camkes-1 solution
mv hello-camkes-1_build solution
cp solution/hello-camkes-1/hello-1.camkes tutorial/hello-camkes-1/hello-1.camkes
diff -rq tutorial/hello-camkes-1 solution/hello-camkes-1
############################
Files tutorial/hello-camkes-1/hello-camkes-1.md and solution/hello-camkes-1/hello-camkes-1.md differ
Files tutorial/hello-camkes-1/.tute_config and solution/hello-camkes-1/.tute_config differ
############################

diff -rq tutorial/hello-camkes-1_build solution/hello-camkes-1_build
############################
Files tutorial/hello-camkes-1_build/build.ninja and solution/hello-camkes-1_build/build.ninja differ
Files tutorial/hello-camkes-1_build/CMakeFiles/CMakeOutput.log and solution/hello-camkes-1_build/CMakeFiles/CMakeOutput.log differ
Files tutorial/hello-camkes-1_build/CMakeFiles/TargetDirectories.txt and solution/hello-camkes-1_build/CMakeFiles/TargetDirectories.txt differ
Files tutorial/hello-camkes-1_build/hello-camkes-1/ast.pickle and solution/hello-camkes-1_build/hello-camkes-1/ast.pickle differ
Files tutorial/hello-camkes-1_build/hello-camkes-1/camkes-gen.cmake and solution/hello-camkes-1_build/hello-camkes-1/camkes-gen.cmake differ
Only in solution/hello-camkes-1_build/hello-camkes-1/CMakeFiles: client.instance.bin.dir
Only in solution/hello-camkes-1_build/hello-camkes-1/CMakeFiles: echo.instance.bin.dir
Files tutorial/hello-camkes-1_build/projects/sel4-tutorials/hello-camkes-1/old/hello-1.camkes and solution/hello-camkes-1_build/projects/sel4-tutorials/hello-camkes-1/old/hello-1.camkes differ
Files tutorial/hello-camkes-1_build/projects/sel4-tutorials/hello-camkes-1/old/hello-camkes-1.md and solution/hello-camkes-1_build/projects/sel4-tutorials/hello-camkes-1/old/hello-camkes-1.md differ
Files tutorial/hello-camkes-1_build/rules.ninja and solution/hello-camkes-1_build/rules.ninja differ
############################

cp -r tutorial/hello-camkes-1 hello-camkes-1
cp -r tutorial/hello-camkes-1_build hello-camkes-1_build
cd hello-camkes-1_build
ninja
./simulate
############################
...
Booting all finished, dropped to user space
############################

<another terminal>
rm -r hello-camkes-1
rm -r hello-camkes-1_build
cp -r solution/hello-camkes-1 hello-camkes-1
cp -r solution/hello-camkes-1_build hello-camkes-1_build
cd hello-camkes-1_build
ninja
./simulate
############################
...
Booting all finished, dropped to user space
Starting the client
-------------------
Component echo saying: hello world
After the client
############################

Regards,
Leow Wei Xiang