mainmenu          497 kern/startup/menu.c static const char *mainmenu[] = {
mainmenu          518 kern/startup/menu.c 	showmenu("OS/161 kernel menu", mainmenu);