Hi,

After running ./init --plat pc99 --tut camkes-vm-linux(following https://docs.sel4.systems/Tutorials/camkes-vm-linux.html) following error will occurred:

-- The ASM compiler identification is GNU
-- Found assembler: /usr/bin/gcc
CMake Error at projects/camkes/vm/camkes_vm_helpers.cmake:21 (ApplyCommonReleaseVerificationSettings):
ApplyCommonReleaseVerificationSettings Function invoked with incorrect
arguments for function named: ApplyCommonReleaseVerificationSettings
Call Stack (most recent call first):
camkes-vm-linux/CMakeLists.txt:10 (include)

-- camkes-gen.cmake is out of date. Regenerating...
-- Configuring incomplete, errors occurred!
See also "/home/hedi/sel4-tutorials-manifest/camkes-vm-linux_build/CMakeFiles/CMakeOutput.log".
Traceback (most recent call last):
File "./init", line 91, in
File "./init", line 81, in main
File "/home/hedi/sel4-tutorials-manifest/projects/sel4-tutorials/common.py", line 107, in init_directories
return _init_build_directory(config, initialised, build_directory, tute_directory, output, config_dict=config_dict)
File "/home/hedi/sel4-tutorials-manifest/projects/sel4-tutorials/common.py", line 69, in _init_build_directory
result = sh.cmake(args + ['..'], _cwd = directory, _out=output, _err=output)
File "/home/hedi/.local/lib/python2.7/site-packages/sh.py", line 1427, in call
return RunningCommand(cmd, call_args, stdin, stdout, stderr)
File "/home/hedi/.local/lib/python2.7/site-packages/sh.py", line 774, in init
self.wait()
File "/home/hedi/.local/lib/python2.7/site-packages/sh.py", line 792, in wait
self.handle_command_exit_code(exit_code)
File "/home/hedi/.local/lib/python2.7/site-packages/sh.py", line 815, in handle_command_exit_code
raise exc
sh.ErrorReturnCode_1:

RAN: /usr/bin/cmake -DCMAKE_TOOLCHAIN_FILE=../kernel/gcc.cmake -G Ninja -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DFORCE_IOMMU=ON -DTUTORIAL_DIR=camkes-vm-linux ..

STDOUT:

STDERR:

Any Idea?