[seL4] Re: whether seL4 support c++ code

I have C++ code that builds successfully on seL4, but I have to make some changes to a couple of header files that did not contain a __cplusplus guard around some prototype declarations (that was causing the compiler to report an error as it was seeing the same function with two difference linkage attributes). The files I have to change are: - kernel/libsel4/include/sel4/assert.h - Added C++ guard at the beginning & at the end. - kernel/libsel4/arch_include/arm/sel4/arch/syscalls.h - Added C++ guard around the strcpy prototype definition (only) The two files would declare functions that were also defined as "extern C" in the muslibc headers (and that were included from different files). Note: I'm using an older version of seL4 (version 8), so I don't know if the same changes apply to the latest one. Regards, Fabrizio On Wed, Dec 2, 2020 at 3:53 AM Kent Mcleod wrote:

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

---

Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems