Hi, I noticed there were some missing pieces to make xen platform gnumach compile with ncpus > 1. These have been added and slight refactoring performed to accommodate multiple xen vcpus.
However, while this patchset passes CI now, the xen smp kernel has not yet been tested at runtime as the qemu test suite is not hooked up for xen platform (yet?) Perhaps this patchset is still useful to make progress as nothing else has been broken according to CI. Thanks, Damien
