En algunas de esas reseñas se cita que el SO es Linux, en otras que la información es errónea y es Unix.
He añadido esa fuente en inglés, y precisamente esa, porque era la que contenía mas información de las que he encontrado.
Y sobre la wiki, la wikipedia en español remite a Unix ( http://es.wikipedia.org/wiki/VxWorks) :
VxWorks es un sistema operativo de tiempo real, basado en Unix, vendido y fabricado por Wind River Systems.
Aunque me convence más la definición que aportas, de la wiki en inglés (qué duro se me hace...)
VxWorks is generally used in embedded systems. Unlike "native" systems such as Unix and Forth, VxWorks development is done on a "host" machine running Unix or Windows, cross-compiling target software to run on various "target" CPU architectures as well as on the "host" by means of VxSim.