Hello, list! Using xl, you should obligatory specify 'vcpus' parameter to domain's configuration file. Without this parameter HVM Windows7 goes to BSOD : HAL_INITIALIZATION_FAILED, and WinXP reboots constantly. I prepared patch, that initializes vcpus parameter inside xl.