Folco (./9) :
Problème principal : j'aimerais bien écrire en C en fait, mais ya pas de header kernel, ni pour PreOS ni pour PedroM.

Il me semble que PpHd a écrit des headers correspondant à la librairie standard du C.
Regarde les exemples dans le répertoire pedrom/example.