K 10 svn:author V 7 wollman K 8 svn:date V 27 1994-09-23T19:07:42.000000Z K 7 svn:log V 108 Add MIB variable kern.bootfile (R/W) giving the name of the booted kernel. Kernel variable is kernelname[]. END