Hi,
I've tried to start the threads tutorial but it fails to initialize or
create a build directory. Any hints for moving forward?
weiqi@weiqi-ThinkPad-X250:~/sel4-tutorials-manifest-temp/threads$ sudo
../init --verbose --tut threads --solution
Traceback (most recent call last):
File "../init", line 96, in <module>
sys.exit(main())
File "../init", line 85, in main
args.task, initialised, tute_dir, build_dir, sys.stdout)
File
"/home/weiqi/sel4-tutorials-manifest-temp/projects/sel4-tutorials/common.py",
line 100, in init_directories
os.chdir(build_directory)
FileNotFoundError: [Errno 2] No such file or directory:
'/home/weiqi/sel4-tutorials-manifest-temp/threads_build'
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
