From patchwork Tue Sep 11 13:41:38 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Joel Brobecker X-Patchwork-Id: 29306 Received: (qmail 102976 invoked by alias); 11 Sep 2018 13:41:44 -0000 Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org Delivered-To: mailing list gdb-patches@sourceware.org Received: (qmail 102967 invoked by uid 89); 11 Sep 2018 13:41:44 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-25.7 required=5.0 tests=AWL, BAYES_00, GIT_PATCH_0, GIT_PATCH_1, GIT_PATCH_2, GIT_PATCH_3, RCVD_IN_DNSWL_NONE, SPF_PASS autolearn=ham version=3.3.2 spammy=deserves X-HELO: rock.gnat.com Received: from rock.gnat.com (HELO rock.gnat.com) (205.232.38.15) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 11 Sep 2018 13:41:43 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 796861179C2; Tue, 11 Sep 2018 09:41:41 -0400 (EDT) Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id RlyP6c9hyxvM; Tue, 11 Sep 2018 09:41:41 -0400 (EDT) Received: from joel.gnat.com (localhost.localdomain [127.0.0.1]) by rock.gnat.com (Postfix) with ESMTP id 352961179B8; Tue, 11 Sep 2018 09:41:41 -0400 (EDT) Received: by joel.gnat.com (Postfix, from userid 1000) id 0571B83B28; Tue, 11 Sep 2018 15:41:38 +0200 (CEST) Date: Tue, 11 Sep 2018 15:41:38 +0200 From: Joel Brobecker To: Pedro Alves , eliz@gnu.org Cc: gdb-patches@sourceware.org Subject: [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> References: <1536443899-88423-1-git-send-email-brobecker@adacore.com> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.9.4 (2018-02-28) 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, 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