Plein je sais pas, mais en tous cas GCC s'en sort pas trop mal en ARM. Après c'est une question de linkerscript et de libs pour le système + quelques détails.
Le problème c'est comment on va faire pour la suite? Si TI patche ses firmwares et que l'adresse des appels change tout le temps?