Hi Émeric, Émeric Maschino wrote: > 2012/5/17 Ben Hutchings <ben@xxxxxxxxxxxxxxx>: >> Right, but this is not just for Debian. > > Uh? I thought that Debian was the latest Linux distribution to support IA-64. Gentoo and Linux From Scratch include support for Itanium. It is also not too unusual to upgrade some components (especially the kernel) on an older system when one wants newer features. My original message was proposing to include this patch in the 3.0.y and 3.2.y kernels available from kernel.org. Ben made that change for 3.2.y so it will be included in 3.2.18 (unless some problem comes up before then). Sorry for the lack of context. Ciao, Jonathan -- To unsubscribe from this list: send the line "unsubscribe linux-ia64" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html