Pour un programme comme ça, probablement écrit en C en plus (je vois tout le code de démarrage de TIGCCLIB ou d'un fork de TIGCCLIB), le kernel ne sert strictement à rien.