bon je sais pas si c'est ça mais si tu dis "const char *" c'est qu'on attend que tu mettes des données.

ok ça devrait pas faire planter mais bon.

essaye ça:

machin.c 
 
#include "kernel.h" 
#include "funcs.h" 

const char* HelpText="turlututu";

void CommandHelp(void) 
{ 
  printf("%s",HelpText); 
  ngetchx(); 
}

Sans printf(UneVariable) évidemment