On Mon, Apr 14, 2025 at 06:38:41PM +0200, Cornelia Huck wrote: > From: Eric Auger <eric.au...@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.au...@redhat.com> > Signed-off-by: Cornelia Huck <coh...@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. > +# gen-cpu-sysreg-properties.awk: arm64 sysreg header generator > +# > +# Usage: awk -f gen-cpu-sysreg-properties.awk > $LINUX_PATH/arch/arm64/tools/sysreg With regards, Daniel -- |: https://berrange.com -o- https://www.flickr.com/photos/dberrange :| |: https://libvirt.org -o- https://fstop138.berrange.com :| |: https://entangle-photo.org -o- https://www.instagram.com/dberrange :|