[seL4] Adding an Extra Component in Camkes

5 Sep 2019

      Hi,

I was trying to add an extra component in hello-camkes-1 example. Here are 
the small tweaks that I did.

a) hello-camkes-1-camkes.template
import <std_connector.camkes>;

import "components/Client1/Client1.camkes";
import "components/Client2/Client2.camkes";
import "components/Echo/Echo.camkes";

assembly {
     composition {
         component Client1 client1;
         component Client2 client2;
         component Echo echo;
         connection seL4RPC hello_con(from client1.hello1, to echo.hello2);
     }
}
--------------------------------------------------------------------------------------------------------------------------
b) CMakeLists.text
cmake_minimum_required(VERSION 3.7.2)

project(hello-camkes-1 C)

DeclareTutorialsCAmkESComponent(Client TEMPLATE_SOURCES 
components/Client1/src/client1.c)
DeclareTutorialsCAmkESComponent(Client TEMPLATE_SOURCES 
components/Client2/src/client2.c)
DeclareTutorialsCAmkESComponent(Echo TEMPLATE_SOURCES 
components/Echo/src/echo.c)

DeclareCAmkESComponent(EmptyComponent)

DeclareTutorialsCAmkESRootserver(hello-camkes-1.camkes ADL_IS_TEMPLATE
     TEMPLATE_SOURCES interfaces/HelloSimple.camkes
     TUTORIAL_SOURCES components/Client1/Client1.camkes 
components/Client2/Client2.camkes components/Echo/Echo.camkes
)
------------------------------------------------------------------------------------------------------------------------

I am getting the following error:

   STDERR:
CMake Warning at tools/seL4/cmake-tool/flags.cmake:123 (message):
   Kernel supports hardware floating point but toolchain does not
Call Stack (most recent call first):
   tools/seL4/cmake-tool/base.cmake:58 (include)
   tools/seL4/cmake-tool/all.cmake:16 (include)
   CMakeLists.txt:21 (include)

CMake Error at build/projects/sel4-tutorials/camkes-gen.cmake:192 
(target_link_libraries):
   Error evaluating generator expression:

     $<TARGET_PROPERTY:CAmkESComponent_Client1,COMPONENT_LIBS>

   Target "CAmkESComponent_Client1" not found.
Call Stack (most recent call first):
   tools/camkes/camkes.cmake:591 (include)
   projects/sel4-tutorials/CMakeLists.txt:257 (GenerateCAmkESRootserver)

CMake Error at build/projects/sel4-tutorials/cam... (2531 more, please see 
e.stderr)
-----------------------------------------------------------------------------------------------------------------

Can you please suggest a possible solution.

-- 
Thanks and Regards,
Amit Goyal