Имеется, значится, xen 4.8 поверх (под :) debian 9.
2 cpu-пула, скажем, Pool-0 и Pool-1
В Pool-0 cpu0 и cpu1
В Pool-1 cpu2 и cpu3.

В Pool-0 ворочаются dom0 и пара PV-гостей.
В Pool-1 один HV-гость и один PV.

Ладно, окей, xl cpupool-create, remove из Pool-0, add в Pool-1, вся фигня, но…
При рестарте все пулы идут нафиг, Pool-0 имеет стандартный набор из всех цпу системы.

В единственной разумной документации сказано, мол, создаете в /etc/xen файл именем POOL-NAME.cfg указанного формата и все типа заработает у вас как надо.

cat /etc/xen/Pool-0.cfg # ## # name=«Pool-0» #sched=«credit» cpus=[0, 1]

Такой же, соответственно, для Pool-1, но с нужными ЦПУ.
При рестарте конфиг не отрабатывает. В папку auto пихал (причем тут авто, если он обрабатывается xl create а не xl cpupool-create, да), в папку xlcpupool тоже пихал, тыча пальцем в небо.
xl cpupool-create жрет конфиги удачно, если только в Pool-0 нет cpu2 и cpu3, что, в принципе, логично.

Либо я, откровенно говоря, деградирую ближе к утру, либо документации кроме вшивого ман-файла нет.

Господа, подскажите пожалуйста, кто сталкивался, у кого получилось завести… В логах ксена только логи виртуалок.
egrep pool * -R по /etc/xen не возвращает ничего достойного. Точнее, вообще ничего.

Пока что в идеях только плюнуть на все, создать systemd-target, делающий все это ручками, с xendomains.service в wants…

(так же есть задача разобраться, почему не отрабатывает vcpu-pinning по средствам cpus=«2, 3» в конфиге виртуалки, но это уже совсем другой вопрос :)