[PATCH 18/20] c-user: Move "Event Recording Configuration"

[Sebastian Huber]

Update #3836.
---
 c-user/config/event-record-config | 61 +++++++++++++++++++++++++++++++++++++++
 c-user/config/index.rst           | 59 +------------------------------------
 2 files changed, 62 insertions(+), 58 deletions(-)
 create mode 100644 c-user/config/event-record-config

diff --git a/c-user/config/event-record-config b/c-user/config/event-record-config
new file mode 100644
index 0000000..6ac0db0
--- /dev/null
+++ b/c-user/config/event-record-config
@@ -0,0 +1,61 @@
+.. SPDX-License-Identifier: CC-BY-SA-4.0
+
+.. Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR)
+
+Event Recording Configuration
+=============================
+
+.. index:: CONFIGURE_RECORD_EXTENSIONS_ENABLED
+
+.. _CONFIGURE_RECORD_EXTENSIONS_ENABLED:
+
+CONFIGURE_RECORD_EXTENSIONS_ENABLED
+-----------------------------------
+
+CONSTANT:
+    ``CONFIGURE_RECORD_EXTENSIONS_ENABLED``
+
+DATA TYPE:
+    Boolean feature macro.
+
+RANGE:
+    Defined or undefined.
+
+DEFAULT VALUE:
+    This is not defined by default.
+
+DESCRIPTION:
+    If defined and :ref:`CONFIGURE_RECORD_PER_PROCESSOR_ITEMS
+    <CONFIGURE_RECORD_PER_PROCESSOR_ITEMS>` is also defined properly, then the
+    record extensions are enabled.
+
+NOTES:
+    The record extensions capture thread create, start, restart, delete,
+    switch, begin, exitted and terminate events.
+
+.. index:: CONFIGURE_RECORD_PER_PROCESSOR_ITEMS
+
+.. _CONFIGURE_RECORD_PER_PROCESSOR_ITEMS:
+
+CONFIGURE_RECORD_PER_PROCESSOR_ITEMS
+------------------------------------
+
+CONSTANT:
+    ``CONFIGURE_RECORD_PER_PROCESSOR_ITEMS``
+
+DATA TYPE:
+    Unsigned integer (``unsigned int``).
+
+RANGE:
+    A power of two greater than or equal to 16.
+
+DEFAULT VALUE:
+    This is not defined by default.
+
+DESCRIPTION:
+    If defined, then a record item buffer of the specified item count is
+    statically allocated for each configured processor
+    (:ref:`CONFIGURE_MAXIMUM_PROCESSORS <CONFIGURE_MAXIMUM_PROCESSORS>`).
+
+NOTES:
+    None.
diff --git a/c-user/config/index.rst b/c-user/config/index.rst
index e325d15..692a5b0 100644
--- a/c-user/config/index.rst
+++ b/c-user/config/index.rst
@@ -27,64 +27,7 @@ Configuring a System
     device-config
     mpci-config
     libpci-config
-
-Event Recording Configuration
-=============================
-
-.. index:: CONFIGURE_RECORD_EXTENSIONS_ENABLED
-
-.. _CONFIGURE_RECORD_EXTENSIONS_ENABLED:
-
-CONFIGURE_RECORD_EXTENSIONS_ENABLED
------------------------------------
-
-CONSTANT:
-    ``CONFIGURE_RECORD_EXTENSIONS_ENABLED``
-
-DATA TYPE:
-    Boolean feature macro.
-
-RANGE:
-    Defined or undefined.
-
-DEFAULT VALUE:
-    This is not defined by default.
-
-DESCRIPTION:
-    If defined and :ref:`CONFIGURE_RECORD_PER_PROCESSOR_ITEMS
-    <CONFIGURE_RECORD_PER_PROCESSOR_ITEMS>` is also defined properly, then the
-    record extensions are enabled.
-
-NOTES:
-    The record extensions capture thread create, start, restart, delete,
-    switch, begin, exitted and terminate events.
-
-.. index:: CONFIGURE_RECORD_PER_PROCESSOR_ITEMS
-
-.. _CONFIGURE_RECORD_PER_PROCESSOR_ITEMS:
-
-CONFIGURE_RECORD_PER_PROCESSOR_ITEMS
-------------------------------------
-
-CONSTANT:
-    ``CONFIGURE_RECORD_PER_PROCESSOR_ITEMS``
-
-DATA TYPE:
-    Unsigned integer (``unsigned int``).
-
-RANGE:
-    A power of two greater than or equal to 16.
-
-DEFAULT VALUE:
-    This is not defined by default.
-
-DESCRIPTION:
-    If defined, then a record item buffer of the specified item count is
-    statically allocated for each configured processor
-    (:ref:`CONFIGURE_MAXIMUM_PROCESSORS <CONFIGURE_MAXIMUM_PROCESSORS>`).
-
-NOTES:
-    None.
+    event-record-config
 
 .. _ConfigAda:
 
-- 
2.16.4