harvard_copyright   70 kern/startup/main.c static const char harvard_copyright[] =
harvard_copyright  101 kern/startup/main.c 	kprintf("%s", harvard_copyright);