K 10 svn:author V 7 wollman K 8 svn:date V 27 1994-10-16T03:49:43.000000Z K 7 svn:log V 34 Added kern_devconf.c as standard. END