From 1fd339b391d81ec82fca6fb28b0bc68b9b638a61 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Mon, 9 Mar 2020 08:58:58 +0100 Subject: c-user: Move "Ada Configuration" Update #3836. --- c-user/config/ada.rst | 15 +++++++++++++++ c-user/config/index.rst | 13 +------------ 2 files changed, 16 insertions(+), 12 deletions(-) create mode 100644 c-user/config/ada.rst (limited to 'c-user') diff --git a/c-user/config/ada.rst b/c-user/config/ada.rst new file mode 100644 index 0000000..49db1f7 --- /dev/null +++ b/c-user/config/ada.rst @@ -0,0 +1,15 @@ +.. SPDX-License-Identifier: CC-BY-SA-4.0 + +.. Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR) + +.. _ConfigAda: + +Ada Configuration +================= + +The GNU Ada runtime library (libgnarl) uses threads, mutexes, condition +variables, and signals from the pthreads API. It uses also thread-local storage +for the Ada Task Control Block (ATCB). From these resources only the threads +need to be accounted for in the configuration. You should include the Ada tasks +in your setting of the :ref:`CONFIGURE_MAXIMUM_POSIX_THREADS` configuration +option. diff --git a/c-user/config/index.rst b/c-user/config/index.rst index 8d780a9..3f5b222 100644 --- a/c-user/config/index.rst +++ b/c-user/config/index.rst @@ -28,18 +28,7 @@ Configuring a System mpci libpci event-record - -.. _ConfigAda: - -Ada Configuration -================= - -The GNU Ada runtime library (libgnarl) uses threads, mutexes, condition -variables, and signals from the pthreads API. It uses also thread-local storage -for the Ada Task Control Block (ATCB). From these resources only the threads -need to be accounted for in the configuration. You should include the Ada tasks -in your setting of the :ref:`CONFIGURE_MAXIMUM_POSIX_THREADS` configuration -option. + ada Obsolete Configuration Options ============================== -- cgit v1.2.3