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/domains.cxx) 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 <[email protected]> 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 -- [email protected] > To unsubscribe send an email to [email protected] _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
