Hi Rahul,
On 10/05/2022 17:30, Rahul Singh wrote:
+ rc = evtchn_alloc_unbound(&alloc);
+ if ( rc )
+ {
+ printk("Failed allocating event channel for domain\n");
+ return rc;
+ }
+
+ d->arch.hvm.params[HVM_PARAM_STORE_EVTCHN] = alloc.port;
+
+ return 0;
+}
+
static int __init construct_domU(struct domain *d,
const struct dt_device_node *node)
{
@@ -3214,6 +3243,14 @@ static int __init construct_domU(struct domain *d,
if ( rc < 0 )
return rc;
+ if ( kinfo.dom0less_enhanced )
I think we need to do something like this to fix the error.
if ( hardware_domain && kinfo.dom0less_enhanced )
{
}
Is there any use case to use "dom0less_enhanced" without dom0 (or a
domain servicing Xenstored)?
If not, then I would consider to forbid this case and return an error.
Cheers,
--
Julien Grall