2012/8/23 yongcong-github.master <community@xxxxxxxxxxxx>: > @@ -563,6 +554,8 @@ acpi_cpuidle_uninit_driver(void *driverCookie) > > module_dependency module_dependencies[] = { > { B_DEVICE_MANAGER_MODULE_NAME, (module_info **)&sDeviceManager }, > + { B_ACPI_MODULE_NAME, (module_info **)&sAcpi}, > + { B_CPUIDLE_MODULE_NAME, (module_info **)&gIdle }, > {} > }; > This change probably implies that x86_cpuidle is only loaded when the ACPI module is loaded and enabled. I think that's acceptable even if x86_cpuidle is supposed to work with ACPI disabled for newer Intel processors, right? Bye, Jérôme