command_lskern
int command_lskern(int argc, char *argv[]);
{ "lskern", "list loaded kernel", command_lskern }, \
