How to save xl cpupool config?

Question

linux

There is, it appears, xen 4.8 on top (under :) debian 9.
2 cpu-pools, say Pool-0 and Pool-1
In Pool-0 cpu0 and cpu1
In Pool-1 cpu2 and cpu3.
In Pool-0, dom0 and a couple of PV guests are tossing and turning.
Pool-1 has one HV guest and one PV.
Okay, ok, xl cpupool-create, remove from Pool-0, add to Pool-1, all bullshit, but...
On restart, all pools go to hell, Pool-0 has a standard set of all CPUs in the system.
The only reasonable documentation says, they say, create a file in /etc/xen with the name POOL-NAME.cfg of the specified format and everything will work for you as it should.

cat /etc/xen/Pool-0.cfg
#
##
#

name="Pool-0"
#sched="credit"
cpus=[0, 1]

The same, respectively, for Pool-1, but with the necessary CPUs.
At restart the config does not work. I shoved it into the auto folder (moreover, it’s auto if it is processed by xl create and not xl cpupool-create, yes), it also shoved it into the xlcpupool folder, pointing a finger at the sky.
xl cpupool-create eats configs successfully, unless there are cpu2 and cpu3 in Pool-0, which, in principle, is logical.
Either I, frankly, degrade closer to the morning, or there is no documentation other than a lousy man-file.
Gentlemen, tell me please, who came across, who managed to start ... In the xen logs there are only logs of virtual machines.
egrep pool * -R on /etc/xen doesn't return anything decent. More precisely, nothing at all.
So far, the ideas are just to spit on everything, create a systemd-target that does all this with handles, with xendomains.service in wants...
(there is also a task to figure out why vcpu-pinning does not work using cpus="2, 3" in the virtual machine config, but this is a completely different question :)

Answer 1

Krch all garbage, there are no docks, I found a mailing list of 2013, ending with a level entry "You need to write your own script to do it"
I wrote it, put it into the systemd with After=xendomains.service, it works.