cmd_mainmenu      531 kern/startup/menu.c 	{ "?",		cmd_mainmenu },
cmd_mainmenu      532 kern/startup/menu.c 	{ "h",		cmd_mainmenu },
cmd_mainmenu      533 kern/startup/menu.c 	{ "help",	cmd_mainmenu },