Hello, Does anyone know why the ACPI/SMT/SMP options get disabled in menuconfig when configuring kernel? I noticed that the mentioned options depend on !X86_64_XEN and !UNPRIVILEDGED_DOMAIN - does it mean the ACPI/SMT/SMP are not available for dom0?! As soon as I select ''Enable Xen compatible kernel'' those options disappear, and the kernel does not boot anymore. Thanks! -igor ---------------------- I.M., M.Eng. ---------------------- _______________________________________________ Xen-users mailing list Xen-users@lists.xensource.com http://lists.xensource.com/xen-users