Re: [PATCH v2 20/40] xen/mpu: plump early_fdt_map in MPU systems

2023-02-07 Thread Julien Grall
v2 20/40] xen/mpu: plump early_fdt_map in MPU systems Hi, A few more remarks. On 13/01/2023 05:28, Penny Zheng wrote: In MPU system, device tree binary can be packed with Xen image through CONFIG_DTB_FILE, or provided by bootloader through x0. In MPU system, each section in xen.lds.S is

RE: [PATCH v2 20/40] xen/mpu: plump early_fdt_map in MPU systems

2023-02-06 Thread Penny Zheng
Hi Julien > -Original Message- > From: Julien Grall > Sent: Monday, February 6, 2023 6:11 PM > To: Penny Zheng ; xen-devel@lists.xenproject.org > Cc: Wei Chen ; Stefano Stabellini > ; Bertrand Marquis ; > Volodymyr Babchuk > Subject: Re: [PATCH v2 20/40] xen/mpu

Re: [PATCH v2 20/40] xen/mpu: plump early_fdt_map in MPU systems

2023-02-06 Thread Julien Grall
Hi, A few more remarks. On 13/01/2023 05:28, Penny Zheng wrote: In MPU system, device tree binary can be packed with Xen image through CONFIG_DTB_FILE, or provided by bootloader through x0. In MPU system, each section in xen.lds.S is PAGE_SIZE aligned. So in order to not overlap with the previ

Re: [PATCH v2 20/40] xen/mpu: plump early_fdt_map in MPU systems

2023-02-05 Thread Julien Grall
Hi, On 13/01/2023 05:28, Penny Zheng wrote: In MPU system, device tree binary can be packed with Xen image through CONFIG_DTB_FILE, or provided by bootloader through x0. In MPU system, each section in xen.lds.S is PAGE_SIZE aligned. So in order to not overlap with the previous BSS section, dtb