sel4 / sel4-tutorials-manifest

seL4 Tutorials Manifest

See https://docs.sel4.systems/Tutorials/ on how to use this repository.

sel4-tutorials-manifest's Issues

init script AttributeError

When running ./init --tut capabilities following tutorial, the following error message always shows:

-- Configuring done
-- Generating done
-- Build files have been written to: /a/b/x/d
Traceback (most recent call last):
  File "./init", line 90, in <module>
  File "./init", line 80, in main
AttributeError: 'str' object has no attribute 'exit_code'

The environment is Ubuntu 22.04 with python3.18.10 and python-is-python3.

DTC

performed the following

mkdir sel4-tutorials-manifest
cd sel4-tutorials-manifest
repo init -u https://github.com/SEL4PROJ/sel4-tutorials-manifest
repo sync

mkdir threadStuff
cd threadStuff

../init --plat zynq7000 --tut threads --solution

CMake Error at kernel/src/arch/arm/config.cmake:108 (message):
Cannot find 'dtc' program.
Call Stack....

new docs in tutorials not in tutorials-manifest?

maybe this is normal release procedure.

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?