That appears to work. Thank you for the explanation. On Tue, Jun 2, 2020 at 2:46 PM Chubb, Peter (Data61, Kensington NSW) < peter.ch...@data61.csiro.au> wrote:
> >>>>> "Weiqi" == Weiqi Hu <weiqi...@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". > > -- > 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
