> > > gdb/ChangeLog:
> > > 
> > >         * aarch64-ravenscar-thread.h, aarch64-ravenscar-thread.c:
> > >         New files.
> > >         * aarch64-tdep.c: #include "aarch64-ravenscar-thread.h".
> > >         (aarch64_gdbarch_init): Add call to register_aarch64_ravenscar_ops.
> > >         * Makefile.in (ALL_64_TARGET_OBS): Add aarch64-ravenscar-thread.o.
> > >         (HFILES_NO_SRCDIR): Add aarch64-ravenscar-thread.h.
> > >         (ALLDEPFILES): Add aarch64-ravenscar-thread.c.
> > >         * configure.tgt (cpu_obs) [aarch64*-*-*]: Add ravenscar-thread.o
> > >         and aarch64-ravenscar-thread.o.
> > > 
> > > Tested on aarch64-elf using AdaCore's testsuite.
> > > OK to apply?
> > 
> > IMO this deserves a NEWS entry.
> 
> Yes, indeed. Thanks for catching that.
> Attached is a patch that does just that. OK to apply, Eli?

Actually - I thought that the patch for which the NEWS entry was
already in, but I immediately realized that it was not. So better
yet, here is a patch that merges the two:

gdb/ChangeLog:

        * aarch64-ravenscar-thread.h, aarch64-ravenscar-thread.c:
        New files.
        * aarch64-tdep.c: #include "aarch64-ravenscar-thread.h".
        (aarch64_gdbarch_init): Add call to register_aarch64_ravenscar_ops.
        * Makefile.in (ALL_64_TARGET_OBS): Add aarch64-ravenscar-thread.o.
        (HFILES_NO_SRCDIR): Add aarch64-ravenscar-thread.h.
        (ALLDEPFILES): Add aarch64-ravenscar-thread.c.
        * configure.tgt (cpu_obs) [aarch64*-*-*]: Add ravenscar-thread.o
        and aarch64-ravenscar-thread.o.
        * gdb/NEWS: Add entry documenting Ravenscar tasking support
        on AArch64 ELF.

No change compared to the last version, except for the addition of
the NEWS entry.

Thank you!
-- 
Joel