>I have worked with a Linux kernel module that was written in C++ *and* used
floating point.
VMware WS has, or used to have, some C++ (IIRC, only for some little templates, there was not much too much visible C++ classes, operator-overloads or otherwise)
The latter is not particularly hard ever since the FPU state is properly saved and restored.