[rtems-central commit] spec: Clarify RTEMS_MINIMUM_STACK_SIZE

Sebastian Huber sebh at rtems.org
Fri Nov 19 07:51:56 UTC 2021


Module:    rtems-central
Branch:    master
Commit:    d0fe2577ff6aa5800014b865483181ce6b4ba93e
Changeset: http://git.rtems.org/rtems-central/commit/?id=d0fe2577ff6aa5800014b865483181ce6b4ba93e

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Tue Nov 16 11:33:00 2021 +0100

spec: Clarify RTEMS_MINIMUM_STACK_SIZE

---

 spec/rtems/task/if/maximum-priority.yml  |  4 ++--
 spec/rtems/task/req/maximum-priority.yml | 15 +++++++++++++++
 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 fccfc5f..5e583fb 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 0000000..73096f6
--- /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



More information about the vc mailing list