diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-09 08:35:03 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-10 17:58:16 +0100 |
commit | 71c8f7ce3e57c987721ef03e16a9b231d2732147 (patch) | |
tree | cc21e293800147c8aef4251428357f463b6035b1 /spec/constraint | |
parent | spec: Document missing parameter (diff) | |
download | rtems-central-71c8f7ce3e57c987721ef03e16a9b231d2732147.tar.bz2 |
spec: Add constraints to semaphore manager
Diffstat (limited to 'spec/constraint')
-rw-r--r-- | spec/constraint/priority-may-preempt.yml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/spec/constraint/priority-may-preempt.yml b/spec/constraint/priority-may-preempt.yml new file mode 100644 index 00000000..317181f6 --- /dev/null +++ b/spec/constraint/priority-may-preempt.yml @@ -0,0 +1,11 @@ +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: [] +rationale: null +scope: user +text: | + The directive may change the priority of another task which may preempt the + calling task. +type: constraint |