hwti (./37) :
On peut trouver facilement des fonctions de la libc:

Donc ce bout de code que je ne comprenais pas prend son sens :

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