c-user: Move "Ada Configuration"

Update #3836.
This commit is contained in:
Sebastian Huber 2020-03-09 08:58:58 +01:00
parent a388de9416
commit 1fd339b391
2 changed files with 16 additions and 12 deletions

15
c-user/config/ada.rst Normal file
View File

@ -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.

View File

@ -28,18 +28,7 @@ Configuring a System
mpci mpci
libpci libpci
event-record event-record
ada
.. _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.
Obsolete Configuration Options Obsolete Configuration Options
============================== ==============================