Petr Cech <cech@atrey.karlin.mff.cuni.cz> writes: > there was no 2.2.12 kernel in Debian FWIW, the "boxed" version of Debian as sold by VA Linux, SGI and O'Reilly installed 2.2.12. - Ruud de Rooij. -- ruud de rooij | ruud@ruud.org | http://ruud.org