[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