Threads tutorial fails to initialize
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" == Weiqi Hu <weiqi.hu@gmail.com> writes:
Weiqi> Hi, I've tried to start the threads tutorial but it fails to Weiqi> initialize or create a build directory. Any hints for moving Weiqi> forward? Looks like you omitted the --plat argument. Try ../init --plat pc99 --tut threads --solution You may need to delete the build directory before this will work. -- Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group CSIRO's Data61
I tried adding the --plat argument but it's the same error. Also, no build directory was created on the attempts. I didn't have the same problem with the capabilities, untyped, and mapping tutorials but it appears something is different for the threads tutorial. On Sat, May 30, 2020 at 5:11 PM Chubb, Peter (Data61, Kensington NSW) < Peter.Chubb@data61.csiro.au> wrote:
"Weiqi" == Weiqi Hu <weiqi.hu@gmail.com> writes:
Weiqi> Hi, I've tried to start the threads tutorial but it fails to Weiqi> initialize or create a build directory. Any hints for moving Weiqi> forward?
Looks like you omitted the --plat argument.
Try ../init --plat pc99 --tut threads --solution
You may need to delete the build directory before this will work.
-- Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group CSIRO's Data61
participants (2)
-
Chubb, Peter (Data61, Kensington NSW) -
Weiqi Hu