summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--spec/rtems/task/if/maximum-priority.yml4
-rw-r--r--spec/rtems/task/req/maximum-priority.yml15
2 files changed, 17 insertions, 2 deletions
diff --git a/spec/rtems/task/if/maximum-priority.yml b/spec/rtems/task/if/maximum-priority.yml
index fccfc5f6..5e583fbb 100644
--- a/spec/rtems/task/if/maximum-priority.yml
+++ b/spec/rtems/task/if/maximum-priority.yml
@@ -1,7 +1,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
brief: |
- This constant variable provides the lowest (least important) task priority of
- the first configured scheduler.
+ This runtime constant represents the lowest (least important) task priority
+ of the scheduler with index zero.
copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
- Copyright (C) 1988, 2017 On-Line Applications Research Corporation (OAR)
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