Maxime Henrion 822b4f22fb Set kernelname in sparc64_init() so that the kern.bootfile
sysctl works.  This stuff should probably be made MI.

Reviewed by:	jake
2002-10-20 21:55:35 +00:00
..
2002-10-20 20:50:31 +00:00
2002-10-18 21:41:41 +00:00
2002-10-20 20:35:14 +00:00