diff options
Diffstat (limited to 'c-user/config/ada.rst')
| -rw-r--r-- | c-user/config/ada.rst | 15 |
1 files changed, 15 insertions, 0 deletions
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. |