Je conseille de rester avec l'original: TIGCC (depuis 1999!). De plus, le mode kernel a peu ou pas d'intérêt pour les programmes en C, on peut en général compiler les mêmes programmes avec exactement le même code source en le mode par défaut ("_nostub") et ils tourneront sans devoir installer un kernel sur la calculatrice.