Hi,
  I have two questions about whether seL4 support C++:

1.       When we create a component, whether the src file of component can be 
c++ style file like **.cxx, or **.cpp ?
I found it will print “camkes.environment.c : undefined reference to run” error 
when compile

2.       If our app code write by c++, how can I use it in seL4 environment as 
native component?Is there some example ?
Thank you very much.
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to