[RFA/NEWS] document support for Ravenscar task switching on aarch64-elf (was: "Re: [RFA/commit] (Ada) Add ravenscar tasking support on AArch64")
Commit Message
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,
Comments
> Date: Tue, 11 Sep 2018 15:41:38 +0200
> From: Joel Brobecker <brobecker@adacore.com>
> Cc: gdb-patches@sourceware.org
>
> > > 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?
Yes, thanks.
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(+)
@@ -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