K 10 svn:author V 5 luigi K 8 svn:date V 27 2000-12-06T20:34:29.000000Z K 7 svn:log V 131 Put back kernel in $(SRC)/sys/compile/$(TYPE), the previous place would require a full make world to be done in advance (i think!) END