Re: [PATCH v3 3/4] add SPDX to arch/arm/*.c

[Julien Grall <julien@xxxxxxx>]

Hi,

On 08/10/2022 01:15, Stefano Stabellini wrote:
> From: Stefano Stabellini <stefano.stabellini@xxxxxxx>
>
> Add SPDX license information to all the *.c files under arch/arm.
It would be helpful to explain in the commit messages how the SPDX was 
decided for file with no copyright license:
  - domain_page.c is a split from mm.c. So the license should be 
unfortunatelY GPLv2+
  - all the others are using the default Xen license so GPLv2.

It is also probably worth to mention that existing copyright are 
*replaced* with a SPDX tag.
With that:

Acked-by: Julien Grall <jgrall@xxxxxxxxxx>

Cheers,

--
Julien Grall