Re: [PATCH 02/12] xen/arm: add cache coloring initialization for domains

Isn't it true also for other fields like gic_version and tee_type? Indeed, there is missing explicit padding after gic_version. There is no padding necessary after 'tee_type'. I am not asking you to fix the existing missing padding, however we should avoid to introduce new ones. Cheers, -- Thanks, Andrea Bastoni

Re: [PATCH v10 08/12] xen/page_alloc: introduce preserved page flags macro

Hi, On 29/11/2024 12:09, Jan Beulich wrote: > On 29.11.2024 10:32, Carlo Nonato wrote: >> Hi Jan, >> >> On Thu, Nov 28, 2024 at 12:05 PM Jan Beulich wrote: >>> >>> On 19.11.2024 15:13, Carlo Nonato wrote: PGC_static, PGC_extra and PGC_broken need to be preserved when assigning a page. D

Re: [for-4.20] Re: [PATCH v12 12/12] xen/arm: add cache coloring support for Xen image

On 07/01/2025 18:01, Jan Beulich wrote: > On 07.01.2025 17:51, Michal Orzel wrote: >> >> >> On 07/01/2025 17:42, Julien Grall wrote: >>> >>> >>> Hi, >>> >>> On 16/12/2024 14:36, Jan Beulich wrote: On 16.12.2024 15:28, Carlo Nonato wrote: > On Mon, Dec 16, 2024 at 2:56 PM Michal Orzel wrot

Re: [for-4.20] Re: [PATCH v12 12/12] xen/arm: add cache coloring support for Xen image

On 07/01/2025 18:13, Andrea Bastoni wrote: > On 07/01/2025 18:01, Jan Beulich wrote: >> On 07.01.2025 17:51, Michal Orzel wrote: >>> >>> >>> On 07/01/2025 17:42, Julien Grall wrote: >>>> >>>> >>>> Hi, >>>> >&g

Re: [PATCH v11 03/12] xen/arm: permit non direct-mapped Dom0 construction

On 12/12/2024 18:48, Carlo Nonato wrote: > Hi, > > On Mon, Dec 9, 2024 at 8:17 PM Julien Grall wrote: >> >> Hi Michal, >> >> On 07/12/2024 15:04, Michal Orzel wrote: >>> >>> >>> On 06/12/2024 19:37, Julien Grall wrote: Hi, Sorry for the late answer. On 05/12/202