K 10 svn:author V 7 rgrimes K 8 svn:date V 27 1993-08-10T14:16:33.000000Z K 7 svn:log V 59 Corrected kernel name from newbsd to 386bsd, it now works. END