Re: [seL4] Threads tutorial fails to initialize

...

...

...

...

"Weiqi" == Weiqi Hu weiqi.hu@gmail.com writes:

Weiqi> Thank you for the suggestion but it seems like I need to access Weiqi> the init file one directory above. In the case of seL4test and Weiqi> build-x86 it needs to be init-build.sh

Yes, you need ../init for the tutorials.

The only thing I can think of at the moment, is that your current build directory isn't clean. Doing:

mkdir seL4-tutorials cd seL4-tutorials repo init -u https://github.com/SEL4PROJ/sel4-tutorials-manifest.git repo sync mkdir threads cd threads ../init --plat=p99 --tut threads --solution

works as expected, giving (eventual) output: Tutorials created in subdirectory "threads". Build directory initialised in "threads_build".