diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-10-29 08:21:21 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-10-29 08:32:05 +0200 |
commit | 80df20fe99581ffa26a0950b2951c04517280091 (patch) | |
tree | 5e3ae3faff0668c18f673dfbe05df6d6461bb6fe /spec/rtems/sem/req | |
parent | spec: Check that NTP update second is not called (diff) | |
download | rtems-central-80df20fe99581ffa26a0950b2951c04517280091.tar.bz2 |
spec: Specify MrsP uniprocessor scheduler detail
Diffstat (limited to 'spec/rtems/sem/req')
-rw-r--r-- | spec/rtems/sem/req/mrsp-uniprocessor-scheduler.yml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/spec/rtems/sem/req/mrsp-uniprocessor-scheduler.yml b/spec/rtems/sem/req/mrsp-uniprocessor-scheduler.yml new file mode 100644 index 00000000..94f06f80 --- /dev/null +++ b/spec/rtems/sem/req/mrsp-uniprocessor-scheduler.yml @@ -0,0 +1,16 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +links: +- role: requirement-refinement + uid: ../if/group +functional-type: function +rationale: null +references: [] +requirement-type: functional +text: | + Where an uniprocessor scheduler is configured, the owner of a semaphore + created with the ${../../attr/if/multiprocessor-resource-sharing:/name} + attribute shall not be made sticky. +type: requirement |