Hi, I have a development board here that hangs when trying to boot linux (actually Ubuntu Precise Pangolin's kernel 3.5.7.6). Supplying the kernel parameter 'acpi=off' allows the board to boot correctly. The problem is that we need this board to boot with a working ACPI stack. I recompiled Ubuntu's kernel adding support for ACPI debugging (CONFIG_PM_DEBUG=y, CONFIG_ACPI_DEBUG=y) and did some tests with 'acpi.debug_layer' and 'acpi.debug_level' and can provide these if needed, though I am unsure if this is the right approach. Is there something I can do to get this board's ACPI working? Any hint and/or approach would be a good step forward. Regards, Olivier -- 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