On Tue, Jan 11, 2000 at 06:29:44PM +0000 , Adrian Bridgett wrote: > BTW, which kernel are we going to ship on x86 (the only platform that tpctl > supports) - 2.2.13 or 2.2.14 (IMHO 2.2.14 would be better). 2.2.14 Petr Cech -- Debian GNU/Linux maintainer - www.debian.{org,cz} cech@atrey.karlin.mff.cuni.cz