Et je te déconseille fortement d'utiliser kernel.h, ce header fait joujou avec _main d'une manière pas propre du tout et qui risque fort de tout faire foirer avec chaque mise à jour de TIGCC. J'ai demandé plusieurs fois à PpHd d'arrêter de faire mumuse avec nos symboles système et d'utiliser les méthodes propres, mais il a refusé. La seule méthode officiellement supportée pour le kernel est de définir USE_KERNEL dans les options du projet.

Et les librairies dynamiques ne sont pas supportées par TIGCCLIB, donc il faut que tu les déclares toi-même comme indiqué dans le ./50 (ou alors tu fais un copier-coller de la déclaration de kernel.h).