diff options
Diffstat (limited to 'spec/req/rtems/modes/masks-unique.yml')
-rw-r--r-- | spec/req/rtems/modes/masks-unique.yml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/spec/req/rtems/modes/masks-unique.yml b/spec/req/rtems/modes/masks-unique.yml deleted file mode 100644 index 770faf6d..00000000 --- a/spec/req/rtems/modes/masks-unique.yml +++ /dev/null @@ -1,14 +0,0 @@ -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/rtems/modes/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 |