diff options
| -rw-r--r-- | spec/acfg/if/record-interrupts-enabled.yml | 27 | ||||
| -rw-r--r-- | spec/acfg/req/record-interrupts-enabled.yml | 16 |
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 |