[rtems-central commit] spec: Specify RTEMS_CONFIGURED_MINIMUM_STACK_SIZE

[Sebastian Huber]

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

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Thu Nov 18 09:01:02 2021 +0100

spec: Specify RTEMS_CONFIGURED_MINIMUM_STACK_SIZE

---

 spec/rtems/task/req/configured-minimum-stack-size.yml | 17 +++++++++++++++++
 spec/rtems/task/val/task.yml                          | 12 ++++++++++++
 2 files changed, 29 insertions(+)

diff --git a/spec/rtems/task/req/configured-minimum-stack-size.yml b/spec/rtems/task/req/configured-minimum-stack-size.yml
new file mode 100644
index 0000000..ef03932
--- /dev/null
+++ b/spec/rtems/task/req/configured-minimum-stack-size.yml
@@ -0,0 +1,17 @@
+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/configured-minimum-stack-size
+functional-type: function
+rationale: |
+  Using a value of zero will let ${../if/create:/name} select the configured
+  minimum task stack size.
+references: []
+requirement-type: functional
+text: |
+  The ${../if/configured-minimum-stack-size:/name} constant shall expand to a
+  constant expression which evaluates to the value of zero.
+type: requirement
diff --git a/spec/rtems/task/val/task.yml b/spec/rtems/task/val/task.yml
index 4964922..437eccb 100644
--- a/spec/rtems/task/val/task.yml
+++ b/spec/rtems/task/val/task.yml
@@ -126,6 +126,18 @@ test-actions:
   - role: validation
     uid: ../req/minimum-stack-size
 - action-brief: |
+    Assert that ${../if/configured-minimum-stack-size:/name} is a constant
+    expression which evaluates to the expected value.
+  action-code: |
+    RTEMS_STATIC_ASSERT(
+      RTEMS_CONFIGURED_MINIMUM_STACK_SIZE == 0,
+      CONFIGURED_MINIMUM_STACK_SIZE
+    );
+  checks: []
+  links:
+  - role: validation
+    uid: ../req/configured-minimum-stack-size
+- action-brief: |
     Assert that ${../if/minimum-priority:/name} is a constant expression which
     evaluates to the expected value.
   action-code: |