Can I run C++ programs on sel4?

I am not familiar with programming language.

I do not know the relationship between the OS and the C++ language.

In order to run C++, does the OS need to provide some support or what user level library are needed?

Thanks a lot.

Yuxin