K 10 svn:author V 5 erich K 8 svn:date V 27 1996-11-26T23:15:07.000000Z K 7 svn:log V 60 new port for linux_devel, The linux cross-development stuff END