Thank you for the suggestion but it seems like I need to access the init file one directory above. In the case of seL4test and build-x86 it needs to be init-build.sh On Sun, May 31, 2020 at 9:14 AM laokz wrote:

Hi Weiqi,

Did you try init-build.sh( https://docs.sel4.systems/GettingStarted#setting-up-your-machine)? I recall this like issue before.

Regards, laokz

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