K 10 svn:author V 3 jkh K 8 svn:date V 27 1994-11-08T13:54:21.000000Z K 7 svn:log V 109 It *is* OK to strip the kernel after all. Poul has one in his bindist that overwrites this one anyway, so.. END