Programmation pour vxworks

Bonjour,
pleaaaaaaaaaaaaz ! aide !!
j'ai besoin de charger le fichier objet d'un pgrogramme c++ sur un module qui tourne avec l'os vxworks.
apparemment, vxworks refuse de charger un tel fichier s'il n'y pas le header "vxworks.h" inclus au tout début, mais où trouver cette lib ? (apparemment, elle est fournie avec l'ide tornado payant ..)
j'ai également travaillé avec cygwin (sous winxp) pour modifier mon Makefile (des fois que ça peut générer un .o valide ..), à savoir inclure les options : target, host .., ça fait des jours que je regardre tous les forums et je m'en sors pas !
si vous avez une piste, je vous prie de m'éclairer, je suis désespérée ..