From 2ec2fbbd8223a4baddefaa20b7075c4ca4393236 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Thu, 18 Nov 2021 08:54:46 +0100
Subject: spec: Specify RTEMS_MINIMUM_PRIORITY

---
 spec/rtems/task/req/minimum-priority.yml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 spec/rtems/task/req/minimum-priority.yml

(limited to 'spec/rtems/task/req')

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
-- 
cgit v1.2.3