There isn't a lot of built in support for C++ that I'm aware of. There's a single source file in sel4test, domain.cxx (https://github.com/seL4/sel4test/blob/master/apps/sel4test-tests/src/tests/d...) that is used to test c++ compiler support but it doesn't use many language features and doesn't include or link against any libstdc++ sources. Historically, people have been able to get many C++ features working during the AOS course, but I'm not aware of any public solutions. On Mon, Nov 30, 2020 at 9:56 PM yadong.li <yadong.li@horizon.ai> wrote:
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 -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems