6 files changed, 87 insertions, 0 deletions
diff --git a/spec/rtems/mode/req/bit-set.yml b/spec/rtems/mode/req/bit-set.yml
new file mode 100644
index 00000000..42c93a46
--- /dev/null
+++ b/spec/rtems/mode/req/bit-set.yml
@@ -0,0 +1,15 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: requirement-refinement
+  uid: ../if/group
+non-functional-type: interface
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+  Each non-default task mode constant shall be a power of two representable as
+  an integer of type ${../if/mode:/name}.
+type: requirement
diff --git a/spec/rtems/mode/req/default.yml b/spec/rtems/mode/req/default.yml
new file mode 100644
index 00000000..8e1fbb49
--- /dev/null
+++ b/spec/rtems/mode/req/default.yml
@@ -0,0 +1,14 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: requirement-refinement
+  uid: ../if/group
+non-functional-type: interface
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+  Each default task mode constant shall have a value of zero.
+type: requirement
diff --git a/spec/rtems/mode/req/masks-all.yml b/spec/rtems/mode/req/masks-all.yml
new file mode 100644
index 00000000..8adf26ed
--- /dev/null
+++ b/spec/rtems/mode/req/masks-all.yml
@@ -0,0 +1,15 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: requirement-refinement
+  uid: ../if/all-mode-masks
+non-functional-type: interface
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+  The bitwise and of a task mode mask constant and
+  ${../if/all-mode-masks:/name} shall be equal to the task mode mask constant.
+type: requirement
diff --git a/spec/rtems/mode/req/masks-unique.yml b/spec/rtems/mode/req/masks-unique.yml
new file mode 100644
index 00000000..61f8bdbc
--- /dev/null
+++ b/spec/rtems/mode/req/masks-unique.yml
@@ -0,0 +1,14 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: requirement-refinement
+  uid: ../if/group
+non-functional-type: interface
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+  The task mode mask constants and 0xff shall have unique values.
+type: requirement
diff --git a/spec/rtems/mode/req/masks.yml b/spec/rtems/mode/req/masks.yml
new file mode 100644
index 00000000..3c9d7dad
--- /dev/null
+++ b/spec/rtems/mode/req/masks.yml
@@ -0,0 +1,15 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: requirement-refinement
+  uid: ../if/group
+non-functional-type: interface
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+  Each task mode mask constant except ${../if/interrupt-mask} shall be a power
+  of two representable as an integer of type ${../if/mode:/name}.
+type: requirement
diff --git a/spec/rtems/mode/req/unique.yml b/spec/rtems/mode/req/unique.yml
new file mode 100644
index 00000000..d71177e0
--- /dev/null
+++ b/spec/rtems/mode/req/unique.yml
@@ -0,0 +1,14 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: requirement-refinement
+  uid: ../if/group
+non-functional-type: interface
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+  The non-default task mode constants shall have unique values.
+type: requirement