Hi Denis,
On 06/06/2025 07:55, dm...@proton.me wrote:
On Thu, Jun 05, 2025 at 10:58:48PM +0100, Julien Grall wrote:
+if ( domid == DOMID_INVALID )
+panic("Error allocating ID for domain %s\n", dt_node_name(node));
+
+d = domain_create(domid, &d_cfg, flags);
On Fri, May 23, 2025 at 12:22:44AM +0100, m...@alex0.net wrote:
> I think I’ve just uncovered a rather nasty bug in the xen_acpi_processor
> driver in dom0. If the vcpu count in dom0 is set to anything other than the
> exact number of physical cores, the xen_acpi_processor kernel driver will
> f
