K 10 svn:author V 2 dg K 8 svn:date V 27 1994-08-05T09:25:31.000000Z K 7 svn:log V 64 Renamed this thing, and change 'vmunix' to 'kernel' internally. END