Hello,
Thanks for bringing that issue to our attention. There was an problem with how the Camkes VM instantiated its CMake settings.
I've since updated the Camkes VM project fixing this problem. If you run 'repo sync' in the root of your tutorials project you should be able to fetch the fixes.
Apologies for any inconvenience.
King Regards,
Adam
________________________________
From: Devel on behalf of hedi delpazir
Sent: Tuesday, 23 October 2018 12:32 AM
To: devel@sel4.systems
Subject: [seL4] Camkes VM Linux tutorial
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?
