Smt isn’t off by default although smt=off is set in the grub

It means that SMT is off, so no worries.

If SMT was on then Xen would assign dom0 to vcpus 1, 3, 5 and 7 as well, but since it’s off those aren’t available.

1 Like