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