Threads tutorial fails to initialize

31 May 2020

      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'

Weiqi Hu

Chubb, Peter (Data61, Kensington NSW)

Weiqi Hu

tags

participants (2)