diff mbox

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

Message ID 20180911134138.GD3379@adacore.com
State New, archived
Headers

Commit Message

Joel Brobecker Sept. 11, 2018, 1:41 p.m. UTC 
  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

Eli Zaretskii Sept. 11, 2018, 2:01 p.m. UTC | #1 
> 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.
diff mbox

Patch

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