Pour faire de l'affichage kernel j'utilise la fonction printk. Normalement tu ne devrais pas avoir de while(1) dans ton code kernel, c'est le programme init qui devrait le contenir.