spec: Specify RTEMS_MINIMUM_PRIORITY

2 files changed, 25 insertions, 0 deletions

diff --git a/spec/rtems/task/req/minimum-priority.yml b/spec/rtems/task/req/minimum-priority.yml
new file mode 100644
index 00000000..28862be3
--- /dev/null
+++ b/spec/rtems/task/req/minimum-priority.yml
@@ -0,0 +1,16 @@
+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/minimum-priority
+functional-type: function
+rationale: null
+references: []
+requirement-type: functional
+text: |
+  The ${../if/minimum-priority:/name} constant shall expand to a constant
+  expression which evaluates to the highest task priority available to
+  application tasks.
+type: requirement
diff --git a/spec/rtems/task/val/task.yml b/spec/rtems/task/val/task.yml
index e7caa97e..4964922a 100644
--- a/spec/rtems/task/val/task.yml
+++ b/spec/rtems/task/val/task.yml
@@ -126,6 +126,15 @@ test-actions:
   - role: validation
     uid: ../req/minimum-stack-size
 - action-brief: |
+    Assert that ${../if/minimum-priority:/name} is a constant expression which
+    evaluates to the expected value.
+  action-code: |
+    RTEMS_STATIC_ASSERT( RTEMS_MINIMUM_PRIORITY == 1, MINIMUM_PRIORITY );
+  checks: []
+  links:
+  - role: validation
+    uid: ../req/minimum-priority
+- action-brief: |
     Validate ${../if/self-define:/name} using a sample directive call.
   action-code: |
     rtems_status_code sc;