Hi Jan, > On 11 Mar 2025, at 09:35, Jan Beulich <jbeul...@suse.com> wrote: > > 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.
Oh yes definitely. I will fix that in the next version. Thanks Bertrand > > 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>` >> >