diff options
Diffstat (limited to 'spec/dev/clock/xil-ttc/req/fatal-irq-install.yml')
| -rw-r--r-- | spec/dev/clock/xil-ttc/req/fatal-irq-install.yml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/spec/dev/clock/xil-ttc/req/fatal-irq-install.yml b/spec/dev/clock/xil-ttc/req/fatal-irq-install.yml new file mode 100644 index 00000000..fe0342ae --- /dev/null +++ b/spec/dev/clock/xil-ttc/req/fatal-irq-install.yml @@ -0,0 +1,18 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 +copyrights: +- Copyright (C) 2024 embedded brains GmbH & Co. KG +enabled-by: bsps/arm/xilinx-zynqmp-rpu +links: +- role: requirement-refinement + uid: /req/fatal-error +- role: requirement-refinement + uid: group +functional-type: function +rationale: null +references: [] +requirement-type: functional +text: | + If the installation of the clock interrupt entry fails, then the system shall + terminate with the ${/score/interr/if/source-bsp:/name} fatal source and the + ${/bsp/if/fatal-xil-clock-ttc-irq-install:/name} fatal code. +type: requirement |