Hi Scott, On 22/07/2021 17:54, 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.Signed-off-by: Scott Davis <[email protected]> Reviewed-by: Jason Andryuk <[email protected]>
Reviewed-by: Julien Grall <[email protected]> Cheers, -- Julien Grall
