If you change into the build directory (/home/john/sel4/hello-camkes-1_build) and just run cmake then it should remove a lot of the extra output (We should probably capture a lot of the python stack tracing). The actual error is File "/home/john/sel4/projects/sel4-tutorials/tools/context.py", line 435, in get_context context.update(ObjectType.__members__.items()) AttributeError: type object 'ObjectType' has no attribute '__members__' I think this is because your python resolves to python3 while we've only been testing with python2.7 and ObjectType is an enum which doesn't have the __members__ attribute on python3. We should fix this so that the tutorials are python 3 compatible.
For an immediate fix, you can explicitly update the python call to python2.7 (assuming you have it installed) (and you will need to install python2.7 version of the camkes_deps py package) in /home/john/sel4/hello-camkes-1/.tute_config. Change ";python;" to ";python2.7;"