Au passage, si vous utilisez kernel.h avec succès, c'est que vous avez une version obsolète de TIGCC. Avec la dernière bêta, j'ai: "Unresolved reference to `__main'" (ce qui est normal, les hacks sont incompatibles avec TIGCC 0.95). Donc mettez à jour votre TIGCC!
TIGCC 0.94:
* n'est plus maintenu depuis un an et demi!
* est incompatible avec la TI-89 Titanium!
* a un linker obsolète.
* optimise nettement moins bien que TIGCC 0.95.