On 07.08.2025 18:59, Milan Djokic wrote: > --- a/docs/misc/xen-command-line.pandoc > +++ b/docs/misc/xen-command-line.pandoc > @@ -2058,6 +2058,13 @@ This option can be specified more than once (up to 8 > times at present). > > Flag to enable or disable support for PCI passthrough > > +### viommu (arm) > +> `= <boolean>` > + > +> Default: `false` > + > +Flag to enable or disable support for Virtual IOMMU for guests.
Isn't this too coarse-grained? IOW don't you want to specify the kind of IOMMU to use, even if right now only one is being implemented? Also - why on the command line? Isn't this rather a per-guest setting? > ### pcid (x86) > > `= <boolean> | xpti=<bool>` Also, seeing this adjacent entry, you're inserting in the wrong place. The options are supposed to be alphabetically sorted. Jan