3 Jun
2020
3 Jun
'20
6:41 a.m.
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 <laokz(a)foxmail.com> 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(a)data61.csiro.au> wrote:
Data61
_______________________________________________
Devel mailing list
Devel(a)sel4.systems
https://sel4.systems/lists/listinfo/devel
>>>> "Weiqi" == Weiqi Hu <weiqi.hu(a)gmail.com> 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 
3 Jun
3 Jun
7:46 a.m.
New subject: Threads tutorial fails to initialize
>>>> "Weiqi" == Weiqi Hu
<weiqi.hu(a)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
4 Jun
4 Jun
9:59 a.m.
New subject: Threads tutorial fails to initialize
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(a)data61.csiro.au> wrote:
>>>> "Weiqi" == Weiqi Hu <weiqi.hu(a)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
762
days inactive
763
days old
2 comments
2 participants
participants (2)
-
Chubb, Peter (Data61, Kensington NSW) -
Weiqi Hu