Pour compiler un noyau Linux tu auras besoin de tellement de choses que tu peux bien installer un make tout seul... (surtout qu'il doit y avoir des scripts "configure", donc tout ça se fait en ligne de commande, et tu as aussi besoin d'avoir un interpréteur shell : pas besoin de support spécial dans TIGCC)