K 10 svn:author V 6 obrien K 8 svn:date V 27 2001-03-04T05:21:25.000000Z K 7 svn:log V 57 MFC: rev 1.11 (move init of booted_kernel to bootinfo.c) END