treiber für erstellen vxworks

Hallo,

ich möchte gern einen USB-Treiber für ein VxWorks Betriebssystem 
kompilieren. Die nötigen *.c und *.h Dateien müsste ich haben. Auch 
Tornado 2 habe ich bereits.

Kann mir nun jemand sagen, wie ich die Datei für das VxWorks brauch 
erstellen kann, oder wo es eine Anleitung gibt?
Die Anleitung von der Cypress Homepage hat bei mir leider nicht 
funktioniert.

Danke und Gruß
Bustle