Análisis del código fuente de Vxworks
¿Por qué compilar en entorno LINUX?
¿Qué versión de plataforma descargaste y para qué se utiliza VX5.5?
El núcleo de Vxworks5.5 está compilado en el entorno tornado, que contiene muchos recursos públicos y privados. Lo que estás insinuando aquí no es que no haya código fuente, sino que no hay una biblioteca compilada. Estas cosas sólo se pueden encontrar en los tornados.
Puedes instalar Tornado Next Generation 2.2 desde Internet. Además, describa sus requisitos. Actualmente, su enfoque es completamente inviable.