diff options
Diffstat (limited to 'spec/rtems/intr/constraint/not-within-server.yml')
| -rw-r--r-- | spec/rtems/intr/constraint/not-within-server.yml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/spec/rtems/intr/constraint/not-within-server.yml b/spec/rtems/intr/constraint/not-within-server.yml new file mode 100644 index 00000000..baefd3c6 --- /dev/null +++ b/spec/rtems/intr/constraint/not-within-server.yml @@ -0,0 +1,13 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +links: +- role: requirement-refinement + uid: /req/usage-constraints +rationale: null +text: | + The directive shall not be called from within the context of an interrupt + server. Calling the directive from within the context of an interrupt server + is undefined behaviour. +type: constraint |