On 13.06.14 13:02:55, Tomasz Nowicki wrote:
V2->V3
- address Robert's comment
- disable ACPI_APEI_NMI selection so that it is hard selected by arch Kconfig
- rename ACPI_APEI_NMI to ARCH_HAS_ACPI_APEI_NMI
Btw, it would be easier to wait a bit with reposting a new patch set until there are no further comments expected for *all* patches (I didn't have the time to look through all patches yet).
Thanks,
-Robert