arguments         206 kern/startup/main.c kmain(char *arguments)
arguments         210 kern/startup/main.c 	menu(arguments);