Re: [seL4] Threads tutorial fails to initialize

4 Jun 2020


      That appears to work. Thank you for the explanation.

On Tue, Jun 2, 2020 at 2:46 PM Chubb, Peter (Data61, Kensington NSW) <
Peter.Chubb@data61.csiro.au> wrote:
...
...
...
...
...
...
"Weiqi" == Weiqi Hu  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".
--
Peter Chubb            Tel: +61 2 9490 5852
http://ts.data61.csiro.au/
Trustworthy Systems Group                                    CSIRO's Data61