Re: reboot via bios on X86_64?

From: Miles Fidelman
Date: Mon Apr 09 2012 - 14:06:21 EST


H. Peter Anvin wrote:
On 04/09/2012 10:57 AM, Miles Fidelman wrote:
No. 2.6.32.5 (the one that currently ships with Debian stable).

2.6.32.*5*?!??

Ooops.. my mistake - suckered by the Debian package nomenclature.
uname -a returns: 2.6.32-5-xen-amd64
upstream seems to be 2.6.32.41



--
In theory, there is no difference between theory and practice.
In practice, there is. .... Yogi Berra


--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/