On 21.07.21 10:21, Julien Grall wrote:
> Hi Scott,
> 
> On 20/07/2021 18:56, Scott Davis wrote:
>> This adds an option to the xl domain configuration file syntax for 
>> specifying
>> a kernel command line for device-model stubdomains. It is intended for 
>> use with
>> Linux-based stubdomains.
> 
> May I ask why embedding the command line in the kernel would not be a 
> solution? Do you expect it to change from stubdom to stubdom?

This would preclude the possibility to use a standard distro kernel.


Juergen