K 10 svn:author V 6 julian K 8 svn:date V 27 1998-06-24T23:50:20.000000Z K 7 svn:log V 147 Reviewed by: guido@mouse.gvr.org Submitted by: Archie@whistle.com redo the last patch to allow differentiated kernel logging in a much better way. END