Re: [Xen-devel] [PATCH v3 4/6] xen/arm: handle "multiboot, device-tree" compatible nodes

2019-08-19 Thread Stefano Stabellini
On Fri, 9 Aug 2019, Julien Grall wrote: > Hi Stefano, > > On 8/9/19 12:12 AM, Stefano Stabellini wrote: > > Detect "multiboot,device-tree" compatible nodes. Add them to the bootmod > > array as BOOTMOD_GUEST_DTB. In kernel_probe, find the right > > BOOTMOD_GUEST_DTB and store a pointer to it in

Re: [Xen-devel] [PATCH v3 4/6] xen/arm: handle "multiboot, device-tree" compatible nodes

2019-08-19 Thread Stefano Stabellini
On Fri, 9 Aug 2019, Volodymyr Babchuk wrote: > Stefano Stabellini writes: > > > Detect "multiboot,device-tree" compatible nodes. Add them to the bootmod > > array as BOOTMOD_GUEST_DTB. In kernel_probe, find the right > > BOOTMOD_GUEST_DTB and store a pointer to it in dtb_bootmodule. > > > >

Re: [Xen-devel] [PATCH v3 4/6] xen/arm: handle "multiboot, device-tree" compatible nodes

2019-08-09 Thread Julien Grall
Hi Stefano, On 8/9/19 12:12 AM, Stefano Stabellini wrote: Detect "multiboot,device-tree" compatible nodes. Add them to the bootmod array as BOOTMOD_GUEST_DTB. In kernel_probe, find the right BOOTMOD_GUEST_DTB and store a pointer to it in dtb_bootmodule. Signed-off-by: Stefano Stabellini ---

Re: [Xen-devel] [PATCH v3 4/6] xen/arm: handle "multiboot, device-tree" compatible nodes

2019-08-09 Thread Volodymyr Babchuk
Stefano Stabellini writes: > Detect "multiboot,device-tree" compatible nodes. Add them to the bootmod > array as BOOTMOD_GUEST_DTB. In kernel_probe, find the right > BOOTMOD_GUEST_DTB and store a pointer to it in dtb_bootmodule. > > Signed-off-by: Stefano Stabellini > > --- > Changes in v2: >

[Xen-devel] [PATCH v3 4/6] xen/arm: handle "multiboot, device-tree" compatible nodes

2019-08-08 Thread Stefano Stabellini
Detect "multiboot,device-tree" compatible nodes. Add them to the bootmod array as BOOTMOD_GUEST_DTB. In kernel_probe, find the right BOOTMOD_GUEST_DTB and store a pointer to it in dtb_bootmodule. Signed-off-by: Stefano Stabellini --- Changes in v2: - rename BOOTMOD_DTB to BOOTMOD_GUEST_DTB -