diff options
Diffstat (limited to 'spec/rtems/timer/if/server-default-priority.yml')
-rw-r--r-- | spec/rtems/timer/if/server-default-priority.yml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/spec/rtems/timer/if/server-default-priority.yml b/spec/rtems/timer/if/server-default-priority.yml index 5589b447..3631f4a4 100644 --- a/spec/rtems/timer/if/server-default-priority.yml +++ b/spec/rtems/timer/if/server-default-priority.yml @@ -1,12 +1,16 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause -brief: '%' +brief: | + This constant represents the default value for the task priority of the Timer + Server. copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) - Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR) definition: default: ( (${../../task/if/priority:/name}) -1 ) variants: [] -description: null +description: | + When given this priority, a special high priority not accessible via the + Classic API is used. enabled-by: true index-entries: [] interface-type: define |