diff options
Diffstat (limited to 'spec/bsp/sparc/leon3/req/fatal-shutdown-timeout.yml')
-rw-r--r-- | spec/bsp/sparc/leon3/req/fatal-shutdown-timeout.yml | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/spec/bsp/sparc/leon3/req/fatal-shutdown-timeout.yml b/spec/bsp/sparc/leon3/req/fatal-shutdown-timeout.yml new file mode 100644 index 00000000..7c55f52b --- /dev/null +++ b/spec/bsp/sparc/leon3/req/fatal-shutdown-timeout.yml @@ -0,0 +1,21 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: + and: + - RTEMS_SMP + - bsps/sparc/leon3 +links: +- role: interface-function + uid: /bsp/if/fatal-extension +functional-type: function +rationale: null +references: [] +requirement-type: functional +text: | + While the fatal source is not ${/score/interr/if/source-smp:/name} or the + fatal code is not ${/score/smp/if/fatal-shutdown-response:/name}, while all + shutdown requests were issued, the ${/bsp/if/fatal-extension:/name} directive + shall wait for at most approximately one millisecond for the power down + response of all other configured and present processors. +type: requirement |