>>>>> "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
