Thank you Matthew! That clear up so much for me! But now I'm getting
another error. Here is the message:
In file included from
/home/bryan/camkes-project/build/arm/imx31/helloworld/src/c/generated/iface_seL4RPC.c:13:0:
/home/bryan/camkes-project/stage/arm/imx31/include/camkes/timing.h:16:33:
fatal error: sel4bench/sel4bench.h: No such file or directory
#include <sel4bench/sel4bench.h>
^
compilation terminated.
make[1]: ***
[/home/bryan/camkes-project/build/arm/imx31/helloworld/src/c/generated/iface_seL4RPC.o]
Error 1
make: *** [helloworld] Error 2
Please let me know what you think.
Thanks,
On Sun, Nov 8, 2015 at 3:55 PM, Matthew Fernandez <
[email protected]> wrote:
> Hi Bryan,
>
> Thanks for your questions. My answers inline below.
>
> On 09/11/15 10:29, Bryan Ching wrote:
>
>> Hi,
>>
>> I am following the tutorial for CAmkES and had a few questions.
>>
>> There is a part in the tutorial that says to "create a dependency entry in
>> |apps/helloworld/Kbuild| for your application". How exactly do you go
>> about creating a dependency?
>> Do you just add it to the first line of the Kconfig file?
>>
>
> Kbuild and Kconfig are two separate elements of the build system
> infrastructure. The Kconfig files
> determine the menu options and build system configuration available. The
> Kbuild files express the
> dependencies that GNU Make understands while building a seL4 project.
>
> In this case, that line refers to adding the text below it to a new file,
> apps/helloworld/Kbuild:
>
> apps-$(CONFIG_APP_HELLOWORLD) += helloworld
> helloworld: libsel4 libmuslc libsel4platsupport libsel4muslccamkes
> libsel4sync libsel4debug
>
> Also, for the Makefile, I needed to include the camkes.mk <
>> http://camkes.mk> file. However, it was
>> not found in the specified directory. This is the command that I included
>> in the Makefile: include
>> ${SOURCE_DIR}/../../tools/common/camkes.mk <http://camkes.mk> Where
>> could I get that file? Or if
>> someone had the contents of that file, I could create it myself.
>>
>
> This looks like a typo in the tutorial. The actual path to that file is
> "${SOURCE_DIR}/../../tools/camkes/camkes.mk". This is correct upstream in
> the markdown source this
> page is derived from, so perhaps this page has not been synchronized
> recently. I'll see if I can get
> that rectified. In the meantime, you could try following the upstream
> version of this tutorial:
>
> https://github.com/seL4/camkes-tool/blob/master/docs/index.md#tutorial
>
> If you're part way through the tutorial note that the sel4.systems version
> has another typo in the
> setting of the ADL variable in that app's Makefile. Apologies for the
> confusion.
>
> Thanks,
>> Bryan
>>
>>
>> _______________________________________________
>> Devel mailing list
>> [email protected]
>> https://sel4.systems/lists/listinfo/devel
>>
>>
> ________________________________
>
> The information in this e-mail may be confidential and subject to legal
> professional privilege and/or copyright. National ICT Australia Limited
> accepts no liability for any damage caused by this email or its attachments.
>
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
