Re: [seL4] CAmkES Tutorial

Hi Bryan, Thanks for your questions. My answers inline below. On 09/11/15 10:29, Bryan Ching wrote: 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 < 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, ________________________________ 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.