ExtendeD (./46) :
log_rs232 à 11855078 fait un sprintf puis un fwrite avec comme FILE* l'adresse 0x119FB35C ( ) [edit : qui ne semble jamais initialisé - ou par boot1 ?]

Initialisé dans 0x11859750 posix_file_init (nom donné par une trace)
0x119FB310 stdin ?
0x119FB35C stdout
0x119FB3A8 stderr ?

0x11858B88 open
0x11857EA4 close
0x118599E8 read
0x1185A4C4 write
0x118589F8 mkdir

fonctions écrites par TI (enfin je n'en sais rien mais elles ne sont pas très optimisées)
0x11856CCC memcpy
0x11856C8C memcmp
0x11856D54 memset
0x11856DD4 strchr
0x11856E00 strcmp (implémentation étrangement mauvaise, je me demande quel compilateur a produit ça)
0x11856E40 strlen