On Mon, Oct 16, 2000 at 07:04:44PM -0300, Nicolás Lichtmaier wrote: > > Debian does not ship any other kernel... Eh, so what? Marcus -- `Rhubarb is no Egyptian god.' Debian http://www.debian.org Check Key server Marcus Brinkmann GNU http://www.gnu.org for public PGP Key Marcus.Brinkmann@ruhr-uni-bochum.de, marcus@gnu.org PGP Key ID 36E7CD09 http://homepage.ruhr-uni-bochum.de/Marcus.Brinkmann/ brinkmd@debian.org