Output for VxWorks or C++

We have a client that manufactures a machine that has a microprocessor-based user interface. The microprocessor uses VxWorks as its operating system. They would like us to develop training, including animation, to teach users how to setup and use the machine. The user interface has been developed in C++.

Has anyone ever used Blender to develop an animation for a C++ application? Or has anyone used Blender to develop an animation to run on VxWorks?