diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-16 11:33:00 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-18 20:49:01 +0100 |
| commit | d0fe2577ff6aa5800014b865483181ce6b4ba93e (patch) | |
| tree | 7b510a47fd07207485e71d1fdeda5f95ee540b46 /spec/rtems/task/req | |
| parent | spec: Avoid magic number (diff) | |
| download | rtems-central-d0fe2577ff6aa5800014b865483181ce6b4ba93e.tar.bz2 | |
spec: Clarify RTEMS_MINIMUM_STACK_SIZE
Diffstat (limited to 'spec/rtems/task/req')
| -rw-r--r-- | spec/rtems/task/req/maximum-priority.yml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/spec/rtems/task/req/maximum-priority.yml b/spec/rtems/task/req/maximum-priority.yml new file mode 100644 index 00000000..73096f6c --- /dev/null +++ b/spec/rtems/task/req/maximum-priority.yml @@ -0,0 +1,15 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +links: +- role: interface-function + uid: ../if/maximum-priority +functional-type: function +rationale: null +references: [] +requirement-type: functional +text: | + The ${../if/maximum-priority:/name} runtime constant shall be equal to the + lowest priority of the scheduler with index zero. +type: requirement |