K 10 svn:author V 6 marcel K 8 svn:date V 27 2003-09-26T18:10:30.000000Z K 7 svn:log V 164 Catch up with the console interface change: the use of makedev() has been abandoned in favor of a (device) name-based approach. Submitted by: phk Tested on: alpha END