+Jason On Tue, 10 Jun 2025, Julien Grall wrote: > But even if we are ok to break compatibility, I don't see the value of > "control_domid". The implication of setting "hardware_domid" is you will > have a separate control domain. At which point, why would it matter to specify > the domain ID? I just wanted to say that while we (AMD) are looking for a hardware domain / control domain separation for safety reasons, I don't think we have a need to specify the domid for either one.
Jason, is that correct?
