On 10.03.2025 15:50, Bertrand Marquis wrote: > --- a/docs/misc/xen-command-line.pandoc > +++ b/docs/misc/xen-command-line.pandoc > @@ -2651,6 +2651,20 @@ Specify the per-cpu trace buffer size in pages. > > Flag to enable TSC deadline as the APIC timer mode. > > +### tee > +> `= <string>`
This wants an arch restriction, like we have for other command line options supported only by one arch. Jan > +Specify the TEE mediator to be probed and use. > + > +The default behaviour is to probe all supported TEEs supported by Xen and use > +the first one successfully probed. When this parameter is passed, Xen will > +probe only the TEE mediator passed as argument and boot will fail if this > +mediator is not properly probed or if the requested TEE is not supported by > +Xen. > + > +This parameter can be set to `optee` of `ffa` if the corresponding mediators > +are compiled in. > + > ### tevt_mask > > `= <integer>` >
