Re: [seL4] Threads tutorial fails to initialize

...

...

...

...

"Weiqi" == Weiqi Hu 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