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
On Sun, May 31, 2020 at 9:14 AM laokz <laokz(a)foxmail.com> wrote:
Did you try init-build.sh(
recall this like issue before.
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) <
>>>> "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
Looks like you omitted the --plat argument.
../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
Trustworthy Systems Group CSIRO's
Devel mailing list