[RFA/NEWS] document support for Ravenscar task switching on aarch64-elf (was: "Re: [RFA/commit] (Ada) Add ravenscar tasking support on AArch64")

[Joel Brobecker <brobecker@adacore.com>]

[-- Attachment #1: Type: text/plain, Size: 939 bytes --]

Hi Pedro,

> > 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?

gdb/ChangeLog:

        * gdb/NEWS: Add entry documenting Ravenscar tasking support
        on AArch64 ELF.

Thanks,
-- 
Joel

[-- Attachment #2: 0001-gdb-NEWS-Document-support-for-Ravenscar-tasking-on-A.patch --]
[-- Type: text/x-diff, Size: 1010 bytes --]

From 740b34f0ec95c2bcac833b05bd545bb416d1ae34 Mon Sep 17 00:00:00 2001
From: Joel Brobecker <brobecker@adacore.com>
Date: Tue, 11 Sep 2018 15:38:19 +0200
Subject: [PATCH] gdb/NEWS: Document support for Ravenscar tasking on AArch64
 ELF

gdb/ChangeLog:

        * gdb/NEWS: Add entry documenting Ravenscar tasking support
        on AArch64 ELF.
---
 gdb/NEWS | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/gdb/NEWS b/gdb/NEWS
index 75436b0fc32..cba67c5a4db 100644
--- a/gdb/NEWS
+++ b/gdb/NEWS
@@ -18,6 +18,11 @@
 * DWARF index cache: GDB can now automatically save indices of DWARF
   symbols on disk to speed up further loading of the same binaries.
 
+* Ada task switching is now supported on aarch64-elf targets when
+  debugging a program using the Ravenscar Profile.  For more information,
+  see the "Tasking Support when using the Ravenscar Profile" section
+  in the GDB user manual.
+
 * GDB in batch mode now exits with status 1 if the last command to be
   executed failed.
 
-- 
2.17.1