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