Au fait, je veux utiliser kernel.h de Preos (.sdk/include/c/kernel.h), pour avoir les ramcalls.

Seulement, il va me chercher un kernel.h de tigcc, alors que j'ai écrit dans le source :
#include "kernel.h"
Je croyais qu'avec les guillemets, ça allait chercher dans le répertoire courant, non ?

Et c'est bien comme ça qu'il faut s'y prendre pour avoir les ramcalls ?