diff options
Diffstat (limited to 'spec/acfg/if/task-stack-deallocator.yml')
| -rw-r--r-- | spec/acfg/if/task-stack-deallocator.yml | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/spec/acfg/if/task-stack-deallocator.yml b/spec/acfg/if/task-stack-deallocator.yml new file mode 100644 index 00000000..d18d158f --- /dev/null +++ b/spec/acfg/if/task-stack-deallocator.yml @@ -0,0 +1,33 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +appl-config-option-type: initializer +constraints: + texts: + - | + The value of this configuration option shall be defined to a valid function + pointer of the type ``void ( *deallocate )( void * )``. +copyrights: +- Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR) +default-value: | + The default value is ``_Workspace_Free``, which indicates that task stacks + will be allocated from the RTEMS Workspace. +description: | + The value of this configuration option initializes the stack allocator + deallocate handler. +enabled-by: true +index-entries: +- task stack deallocator +interface-type: appl-config-option +links: +- role: appl-config-group-member + uid: group-stackalloc +name: CONFIGURE_TASK_STACK_DEALLOCATOR +notes: | + A correctly configured system shall configure the following to be consistent: + + * ${task-stack-allocator-init:/name} + + * ${task-stack-allocator:/name} + + * ``CONFIGURE_TASK_STACK_DEALLOCATOR`` +text: '' +type: interface |