Effectivement, dans kernel.h il est écrit que le paramètre doit être passé dans d1...
Bizarre, cela ne correspond pas avec les sources de ziplib fournies dans le même zip de preos.