Recherche une technique de log synchrone dans le kernel

[SuperCed]

Je cherche a obtenir des informations pour debuguer un kext.
J'ai besoin d'un equivalent de printf, mais dans le kernel.
J'ai essaye IOLog, mais c'est une fonction asynchrone et ce n'est donc pas pratique pour debuguer.
Existe-il un autre moyen de loguer dans le kernel? Il me faudrait une fonction synchrone.

 

[steg]

kprintf? qui s'utilise en général ak une deuxieme machine à coté... Mais bon le mieux c tout de meme gdb