Hi Ard, On 06/28/2018 03:25 AM, Ard Biesheuvel wrote: > Given how the upstream kernel is aimed at future development, I don't > think we should fix this in the upstream kernel at all. Distros are > free to do what they like, of course, and I'm sure RedHat already have > a fix for this in their downstream kernel. Debian expects the kernel to work correctly, and so won't add a fix. That means CONFIG_ACPI_APEI can't be enabled, and so users must either go without APEI or use a custom built kernel. See: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=900581 -Geoff -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
