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.ch...@data61.csiro.au> wrote: > >>>>> "Weiqi" == Weiqi Hu <weiqi...@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 _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
