2 Aug
2018
2 Aug
'18
10:53 p.m.
Hi,
When I followed this tutorial:
https://sel4.systems/Info/CAmkES/GettingStarted.pml
The error is:
/home/talos/camkes-project/build/arm/imx31/simple/src/echo/generated/camkes.o: In function
`post_main':
/home/talos/camkes-project/build/arm/imx31/simple/src/echo/generated/camkes.c:601:
undefined reference to `component_control_main'
collect2: error: ld returned 1 exit status
/home/talos/camkes-project/build/arm/imx31/simple/camkes-gen.mk:630: recipe for target
'echo.instance.bin' failed
make[1]: *** [echo.instance.bin] Error 1
tools/common/project.mk:333: recipe for target 'simple' failed
make: *** [simple] Error 2
But when I followed this tutorial:
https://docs.sel4.systems/CAmkES/
the error is:
[230/232] Building C object elfloader-tool/CMakeFiles/elfloader.dir/src/string.c.obj
FAILED: /usr/bin/arm-none-eabi-gcc --sysroot=/home/talos/camkes-project/build
-DHAVE_AUTOCONF -I../tools/seL4/elfloader-tool/include
-I../tools/seL4/elfloader-tool/include/plat/imx6
-I../tools/seL4/elfloader-tool/include/arch-arm
-I../tools/seL4/elfloader-tool/include/arch-arm/32
-I../tools/seL4/elfloader-tool/include/arch-arm/armv/armv7-a
-I../tools/seL4/elfloader-tool/include/arch-arm/armv/armv7-a/32 -Iautoconf
-Ikernel/gen_config -Ielfloader-tool/gen_config -Ilibsel4/gen_config
-Iprojects/camkes/gen_config -Iprojects/capdl/capdl-loader-app/gen_config
-Iprojects/rumprun/gen_config -Iprojects/seL4_libs/libsel4vka/gen_config
-Iprojects/seL4_libs/libsel4utils/gen_config
-Iprojects/seL4_libs/libsel4platsupport/gen_config
-Iprojects/seL4_libs/libsel4serialserver/gen_config
-Iprojects/seL4_libs/libsel4debug/gen_config -Iprojects/seL4_libs/libsel4test/gen_config
-Iprojects/seL4_libs/libsel4muslcsys/gen_config -Iprojects/seL4_libs/libsel4vmm/gen_config
-Iprojects/util_libs/libutils/gen_config -Iprojects/util_libs/libplatsupport/gen_config
-Iprojects/util_libs/libethdrivers/gen_config -I../projects/util_libs/libcpio/include
-march=armv7-a -marm -D__KERNEL_32__ -g -D_XOPEN_SOURCE=700 -ffreestanding -Wall
-Werror -W -Wextra -fno-pic -fno-pie -MD -MT
elfloader-tool/CMakeFiles/elfloader.dir/src/string.c.obj -MF
elfloader-tool/CMakeFiles/elfloader.dir/src/string.c.obj.d -o
elfloader-tool/CMakeFiles/elfloader.dir/src/string.c.obj -c
../tools/seL4/elfloader-tool/src/string.c
../tools/seL4/elfloader-tool/src/string.c:97:29: error: expected ';',
',' or ')' before 'dest'
void *memcpy(void *restrict dest, const void *restrict src, size_t n)
^
ninja: build stopped: subcommand failed.
I used Ubuntu 16.04 x86_64
Thanks
3 Aug
3 Aug
9:12 a.m.
Hi,
Sorry, the docs at https://sel4.systems/Info/CAmkES/GettingStarted.pml? ?are completely
out of date. I'll look into getting them removed.
The second set of docs (
https://docs.sel4.systems/CAmkES/)<https://docs.sel4.systems/CAmkES/>? are correct.
I just reproduced building correctly on my machine.
Can you please reply with the results of the command 'repo manifest' so I can
check the revisions of the code you are working with? It could also be a dependency issue
- if you try building the example using our docker image
(https://docs.sel4.systems/Docker.html), does it work?
?Cheers,
Anna.
________________________________
From: Devel <devel-bounces(a)sel4.systems> on behalf of talos
<2486580938(a)qq.com>
Sent: Thursday, 2 August 2018 10:53 PM
To: devel
Subject: [seL4] camkes-project error
Hi,
When I followed this tutorial:
https://sel4.systems/Info/CAmkES/GettingStarted.pml
The error is:
/home/talos/camkes-project/build/arm/imx31/simple/src/echo/generated/camkes.o: In function
`post_main':
/home/talos/camkes-project/build/arm/imx31/simple/src/echo/generated/camkes.c:601:
undefined reference to `component_control_main'
collect2: error: ld returned 1 exit status
/home/talos/camkes-project/build/arm/imx31/simple/camkes-gen.mk:630: recipe for target
'echo.instance.bin' failed
make[1]: *** [echo.instance.bin] Error 1
tools/common/project.mk:333: recipe for target 'simple' failed
make: *** [simple] Error 2
But when I followed this tutorial:
https://docs.sel4.systems/CAmkES/
the error is:
[230/232] Building C object elfloader-tool/CMakeFiles/elfloader.dir/src/string.c.obj
FAILED: /usr/bin/arm-none-eabi-gcc --sysroot=/home/talos/camkes-project/build
-DHAVE_AUTOCONF -I../tools/seL4/elfloader-tool/include
-I../tools/seL4/elfloader-tool/include/plat/imx6
-I../tools/seL4/elfloader-tool/include/arch-arm
-I../tools/seL4/elfloader-tool/include/arch-arm/32
-I../tools/seL4/elfloader-tool/include/arch-arm/armv/armv7-a
-I../tools/seL4/elfloader-tool/include/arch-arm/armv/armv7-a/32 -Iautoconf
-Ikernel/gen_config -Ielfloader-tool/gen_config -Ilibsel4/gen_config
-Iprojects/camkes/gen_config -Iprojects/capdl/capdl-loader-app/gen_config
-Iprojects/rumprun/gen_config -Iprojects/seL4_libs/libsel4vka/gen_config
-Iprojects/seL4_libs/libsel4utils/gen_config
-Iprojects/seL4_libs/libsel4platsupport/gen_config
-Iprojects/seL4_libs/libsel4serialserver/gen_config
-Iprojects/seL4_libs/libsel4debug/gen_config -Iprojects/seL4_libs/libsel4test/gen_config
-Iprojects/seL4_libs/libsel4muslcsys/gen_config -Iprojects/seL4_libs/libsel4vmm/gen_config
-Iprojects/util_libs/libutils/gen_config -Iprojects/util_libs/libplatsupport/gen_config
-Iprojects/util_libs/libethdrivers/gen_config -I../projects/util_libs/libcpio/include
-march=armv7-a -marm -D__KERNEL_32__ -g -D_XOPEN_SOURCE=700 -ffreestanding -Wall
-Werror -W -Wextra -fno-pic -fno-pie -MD -MT
elfloader-tool/CMakeFiles/elfloader.dir/src/string.c.obj -MF
elfloader-tool/CMakeFiles/elfloader.dir/src/string.c.obj.d -o
elfloader-tool/CMakeFiles/elfloader.dir/src/string.c.obj -c
../tools/seL4/elfloader-tool/src/string.c
../tools/seL4/elfloader-tool/src/string.c:97:29: error: expected ';',
',' or ')' before 'dest'
void *memcpy(void *restrict dest, const void *restrict src, size_t n)
^
ninja: build stopped: subcommand failed.
I used Ubuntu 16.04 x86_64
Thanks
7 Aug
7 Aug
12:48 p.m.
Thank you for you reply Anna.Lyons . I read the url what you update, When I
compile the ninja,
it output a error:
../tools/seL4/elfloader-tool/src/string.c:97:29: error: expected ';',
','
or ')' before 'dest'
void *memcpy(void *restrict dest, const void *restrict src, size_t n)
Since the restrict keyword was introduced in c99, so we have to add flags
-std=gnu99, to compile
this code.
When I add this flags to compile of rule.ninja, it works well.
How could I push this fix to mainline?
<Anna.Lyons(a)data61.csiro.au> 于2018年8月3日周五 上午7:16写道：
Hi,
Sorry, the docs at https://sel4.systems/Info/CAmkES/GettingStarted.pml are
completely out of date. I'll look into getting them removed.
The second set of docs (
https://docs.sel4.systems/CAmkES/) <https://docs.sel4.systems/CAmkES/>
are correct. I just reproduced building correctly on my machine.
Can you please reply with the results of the command 'repo manifest' so I
can check the revisions of the code you are working with? It could also be
a dependency issue - if you try building the example using our docker image
(https://docs.sel4.systems/Docker.html), does it work?
Cheers,
Anna.
------------------------------
*From:* Devel <devel-bounces(a)sel4.systems> on behalf of talos <
2486580938(a)qq.com>
*Sent:* Thursday, 2 August 2018 10:53 PM
*To:* devel
*Subject:* [seL4] camkes-project error
Hi,
When I followed this tutorial:
https://sel4.systems/Info/CAmkES/GettingStarted.pml
The error is:
/home/talos/camkes-project/build/arm/imx31/simple/src/echo/generated/camkes.o:
In function `post_main':
/home/talos/camkes-project/build/arm/imx31/simple/src/echo/generated/camkes.c:601:
undefined reference to `component_control_main'
collect2: error: ld returned 1 exit status
/home/talos/camkes-project/build/arm/imx31/simple/camkes-gen.mk:630:
recipe for target 'echo.instance.bin' failed
make[1]: *** [echo.instance.bin] Error 1
tools/common/project.mk:333: recipe for target 'simple' failed
make: *** [simple] Error 2
But when I followed this tutorial:
https://docs.sel4.systems/CAmkES/
the error is:
[230/232] Building C object
elfloader-tool/CMakeFiles/elfloader.dir/src/string.c.obj
FAILED: /usr/bin/arm-none-eabi-gcc
--sysroot=/home/talos/camkes-project/build -DHAVE_AUTOCONF
-I../tools/seL4/elfloader-tool/include
-I../tools/seL4/elfloader-tool/include/plat/imx6
-I../tools/seL4/elfloader-tool/include/arch-arm
-I../tools/seL4/elfloader-tool/include/arch-arm/32
-I../tools/seL4/elfloader-tool/include/arch-arm/armv/armv7-a
-I../tools/seL4/elfloader-tool/include/arch-arm/armv/armv7-a/32 -Iautoconf
-Ikernel/gen_config -Ielfloader-tool/gen_config -Ilibsel4/gen_config
-Iprojects/camkes/gen_config -Iprojects/capdl/capdl-loader-app/gen_config
-Iprojects/rumprun/gen_config -Iprojects/seL4_libs/libsel4vka/gen_config
-Iprojects/seL4_libs/libsel4utils/gen_config
-Iprojects/seL4_libs/libsel4platsupport/gen_config
-Iprojects/seL4_libs/libsel4serialserver/gen_config
-Iprojects/seL4_libs/libsel4debug/gen_config
-Iprojects/seL4_libs/libsel4test/gen_config
-Iprojects/seL4_libs/libsel4muslcsys/gen_config
-Iprojects/seL4_libs/libsel4vmm/gen_config
-Iprojects/util_libs/libutils/gen_config
-Iprojects/util_libs/libplatsupport/gen_config
-Iprojects/util_libs/libethdrivers/gen_config
-I../projects/util_libs/libcpio/include -march=armv7-a -marm
-D__KERNEL_32__ -g -D_XOPEN_SOURCE=700 -ffreestanding -Wall -Werror -W
-Wextra -fno-pic -fno-pie -MD -MT
elfloader-tool/CMakeFiles/elfloader.dir/src/string.c.obj -MF
elfloader-tool/CMakeFiles/elfloader.dir/src/string.c.obj.d -o
elfloader-tool/CMakeFiles/elfloader.dir/src/string.c.obj -c
../tools/seL4/elfloader-tool/src/string.c
../tools/seL4/elfloader-tool/src/string.c:97:29: error: expected ';',
','
or ')' before 'dest'
void *memcpy(void *restrict dest, const void *restrict src, size_t n)
^
ninja: build stopped: subcommand failed.
I used Ubuntu 16.04 x86_64
Thanks
_______________________________________________
Devel mailing list
Devel(a)sel4.systems
https://sel4.systems/lists/listinfo/devel
1426
days inactive
1431
days old
2 comments
3 participants
participants (3)
-
Anna.Lyons＠data61.csiro.au -
talos -
wong xuguo