Re: [PATCH v3 10/16] x86/hyperlaunch: obtain cmdline from device tree

2025-04-15 Thread Alejandro Vallejo
On Wed Apr 9, 2025 at 11:04 PM BST, Denis Mukhin wrote: > On Tuesday, April 8th, 2025 at 9:07 AM, Alejandro Vallejo > wrote: > >> >> >> From: "Daniel P. Smith" dpsm...@apertussolutions.com >> >> >> Add support to read the command line from the hyperlauunch device tree. >> The device tree comm

Re: [PATCH v3 10/16] x86/hyperlaunch: obtain cmdline from device tree

2025-04-14 Thread Jan Beulich
On 14.04.2025 16:23, Alejandro Vallejo wrote: > On Thu Apr 10, 2025 at 12:12 PM BST, Jan Beulich wrote: >> On 08.04.2025 18:07, Alejandro Vallejo wrote: >>> --- a/xen/arch/x86/domain-builder/fdt.c >>> +++ b/xen/arch/x86/domain-builder/fdt.c >>> @@ -189,6 +189,12 @@ static int __init process_domain_

Re: [PATCH v3 10/16] x86/hyperlaunch: obtain cmdline from device tree

2025-04-14 Thread Alejandro Vallejo
On Thu Apr 10, 2025 at 12:12 PM BST, Jan Beulich wrote: > On 08.04.2025 18:07, Alejandro Vallejo wrote: >> --- a/xen/arch/x86/domain-builder/core.c >> +++ b/xen/arch/x86/domain-builder/core.c >> @@ -8,9 +8,37 @@ >> #include >> >> #include >> +#include >> >> #include "fdt.h" >> >> +size_

[PATCH v3 10/16] x86/hyperlaunch: obtain cmdline from device tree

2025-04-10 Thread Alejandro Vallejo
From: "Daniel P. Smith" Add support to read the command line from the hyperlauunch device tree. The device tree command line is located in the "bootargs" property of the "multiboot,kernel" node. A boot loader command line, e.g. a grub module string field, takes precendence ove the device tree on

Re: [PATCH v3 10/16] x86/hyperlaunch: obtain cmdline from device tree

2025-04-10 Thread Jan Beulich
On 08.04.2025 18:07, Alejandro Vallejo wrote: > --- a/xen/arch/x86/domain-builder/core.c > +++ b/xen/arch/x86/domain-builder/core.c > @@ -8,9 +8,37 @@ > #include > > #include > +#include > > #include "fdt.h" > > +size_t __init builder_get_cmdline_size(struct boot_info *bi, int offset) >

Re: [PATCH v3 10/16] x86/hyperlaunch: obtain cmdline from device tree

2025-04-09 Thread Denis Mukhin
On Tuesday, April 8th, 2025 at 9:07 AM, Alejandro Vallejo wrote: > > > From: "Daniel P. Smith" dpsm...@apertussolutions.com > > > Add support to read the command line from the hyperlauunch device tree. > The device tree command line is located in the "bootargs" property of the > "multiboot,k