spec: Specify CONFIGURE_RECORD_INTERRUPTS_ENABLED

Update #4769.

2 files changed, 43 insertions, 0 deletions

diff --git a/spec/acfg/if/record-interrupts-enabled.yml b/spec/acfg/if/record-interrupts-enabled.yml
new file mode 100644
index 00000000..36b5540a
--- /dev/null
+++ b/spec/acfg/if/record-interrupts-enabled.yml
@@ -0,0 +1,27 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+appl-config-option-type: feature-enable
+copyrights:
+- Copyright (C) 2022 embedded brains GmbH (http://www.embedded-brains.de)
+description: |
+  In case
+
+  * this configuration option is defined
+
+  * and ${record-per-processor-items:/name} is properly defined,
+
+  then the interrupt event recording is enabled.
+enabled-by: true
+index-entries: []
+interface-type: appl-config-option
+links:
+- role: interface-placement
+  uid: domain
+- role: interface-ingroup
+  uid: group-eventrecord
+- role: constraint
+  uid: ../constraint/option-not-pre-qualified
+name: CONFIGURE_RECORD_INTERRUPTS_ENABLED
+notes: |
+  The interrupt event recording generates interrupt entry and exit events when
+  interrupt entries are dispatched.
+type: interface
diff --git a/spec/acfg/req/record-interrupts-enabled.yml b/spec/acfg/req/record-interrupts-enabled.yml
new file mode 100644
index 00000000..724598e1
--- /dev/null
+++ b/spec/acfg/req/record-interrupts-enabled.yml
@@ -0,0 +1,16 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2022 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: false
+functional-type: function
+links:
+- role: interface-function
+  uid: ../if/record-interrupts-enabled
+- role: requirement-refinement
+  uid: group
+rationale: null
+references: []
+requirement-type: functional
+text: |
+  The application configuration option shall enable the interrupt event recording.
+type: requirement