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
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