From 740b34f0ec95c2bcac833b05bd545bb416d1ae34 Mon Sep 17 00:00:00 2001 From: Joel Brobecker 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