diff options
Diffstat (limited to 'spec/if/rtems/timer/server-default-priority.yml')
| -rw-r--r-- | spec/if/rtems/timer/server-default-priority.yml | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/spec/if/rtems/timer/server-default-priority.yml b/spec/if/rtems/timer/server-default-priority.yml deleted file mode 100644 index 6d49d20a..00000000 --- a/spec/if/rtems/timer/server-default-priority.yml +++ /dev/null @@ -1,19 +0,0 @@ -SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause -brief: '%' -copyrights: -- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) -- Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR) -definition: - default: ( (${../tasks/priority:/name}) -1 ) - variants: [] -description: null -enabled-by: true -interface-type: define -links: -- role: interface-placement - uid: header -- role: interface-ingroup - uid: group -name: RTEMS_TIMER_SERVER_DEFAULT_PRIORITY -notes: null -type: interface |