testmenu          454 kern/startup/menu.c static const char *testmenu[] = {
testmenu          487 kern/startup/menu.c 	showmenu("OS/161 tests menu", testmenu);