diff options
Diffstat (limited to 'spec/rtems/config/if/get-work-space-size.yml')
| -rw-r--r-- | spec/rtems/config/if/get-work-space-size.yml | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/spec/rtems/config/if/get-work-space-size.yml b/spec/rtems/config/if/get-work-space-size.yml index fd3d1449..f3e5f8a7 100644 --- a/spec/rtems/config/if/get-work-space-size.yml +++ b/spec/rtems/config/if/get-work-space-size.yml @@ -4,10 +4,14 @@ brief: | copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) definition: - default: | - ( ${/score/wkspace/if/size:/name} + - ( ${get-stack-allocator-avoids-work-space:/name}() ? - 0 : ${get-stack-space-size:/name}() ) ) + default: + attributes: null + body: | + ( ${/score/wkspace/if/size:/name} + + ( ${get-stack-allocator-avoids-work-space:/name}() ? + 0 : ${get-stack-space-size:/name}() ) ) + params: [] + return: null variants: [] description: null enabled-by: true |