Radoslav Bodó Fri, 15 Sep 2017 12:27:40 -0700
I'm facing the same issue on Dell R510 with up to date firmware. Workaround posted by Joachim Braun <joachim.br...@sysoft.de>'s worked
> dom0_max_vcpus=4 dom0_vcpus_pin Best regards bodik