[PATCH 19/20] c-user: Move "Ada Configuration"

Sebastian Huber sebastian.huber at embedded-brains.de
Mon Mar 9 09:03:02 UTC 2020


Update #3836.
---
 c-user/config/ada-config.rst | 15 +++++++++++++++
 c-user/config/index.rst      | 13 +------------
 2 files changed, 16 insertions(+), 12 deletions(-)
 create mode 100644 c-user/config/ada-config.rst

diff --git a/c-user/config/ada-config.rst b/c-user/config/ada-config.rst
new file mode 100644
index 0000000..49db1f7
--- /dev/null
+++ b/c-user/config/ada-config.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 692a5b0..c9e1c5c 100644
--- a/c-user/config/index.rst
+++ b/c-user/config/index.rst
@@ -28,18 +28,7 @@ Configuring a System
     mpci-config
     libpci-config
     event-record-config
-
-.. _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-config
 
 Obsolete Configuration Options
 ==============================
-- 
2.16.4



More information about the devel mailing list