On 22.07.2025 13:41, Oleksii Moisieiev wrote: > --- a/docs/misc/xen-command-line.pandoc > +++ b/docs/misc/xen-command-line.pandoc > @@ -1105,6 +1105,15 @@ which serves as Driver domain. The SCMI will be > disabled for Dom0/hwdom and > SCMI nodes removed from Dom0/hwdom device tree. > (for example, thin Dom0 with Driver domain use-case). > > +### dom0_scmi_agent_id (ARM)
New Dom0-specific options would imo better all be sub-options to "dom0=". Also, just to reiterate: Please prefer dashes over underscores. Jan
