| Message ID | 20180911134138.GD3379@adacore.com |
|---|---|
| State | New |
| Headers | show |
> 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(+)
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