K 10 svn:author V 3 phk K 8 svn:date V 27 2000-04-29T18:03:52.000000Z K 7 svn:log V 63 Peter and I cross-committed: this file needs sys/kernel.h now. END