Re: [PATCH v3 02/10] arm/cpu: Add sysreg properties generation

[Cornelia Huck <cohuck@redhat.com>]

On Tue, May 13 2025, Daniel P. Berrangé <berrange@redhat.com> wrote:

> On Mon, Apr 14, 2025 at 06:38:41PM +0200, Cornelia Huck wrote:
>> From: Eric Auger <eric.auger@redhat.com>
>> 
>> Introduce a script that automates the generation of system register
>> properties definitions from a given linux source tree
>> arch/arm64/tools/sysreg.
>> 
>> Invocation of
>> ./update-aarch64-sysreg-code.sh $PATH_TO_LINUX_SOURCE_TREE
>> in scripts directory additionally generates
>> target/arm/cpu-sysreg-properties.c containing definitions for
>> feature ID registers.
>> 
>> update-aarch64-sysreg-code.sh additionally calls
>> gen-cpu-sysreg-properties.awk which is inherited from kernel
>> arch/arm64/tools/gen-sysreg.awk. All credits to Mark Rutland
>> the original author of this script.
>> 
>> [CH: split off from original patch adding both sysreg definitions
>>  and properties]
>> Signed-off-by: Eric Auger <eric.auger@redhat.com>
>> Signed-off-by: Cornelia Huck <cohuck@redhat.com>
>> ---
>>  scripts/gen-cpu-sysreg-properties.awk | 325 ++++++++++++++++++++++++++
>>  scripts/update-aarch64-sysreg-code.sh |   5 +-
>>  2 files changed, 329 insertions(+), 1 deletion(-)
>>  create mode 100755 scripts/gen-cpu-sysreg-properties.awk
>> 
>> diff --git a/scripts/gen-cpu-sysreg-properties.awk b/scripts/gen-cpu-sysreg-properties.awk
>> new file mode 100755
>> index 000000000000..76c37938b168
>> --- /dev/null
>> +++ b/scripts/gen-cpu-sysreg-properties.awk
>> @@ -0,0 +1,325 @@
>> +#!/bin/awk -f
>> +# SPDX-License-Identifier: GPL-2.0
>
> GPL-2.0 is a deprecated SPDX identifier. checkpatch.pl ought to
> have complained about this, requiring GPL-2.0-or-later as the
> preference, with GPL-2.0-only requiring justification in the
> commit.

GPL-2.0 is inherited from the Linux script mentioned; not sure if
GPL-2.0-only would be the correct fit here?