diff options
Diffstat (limited to 'spec/acfg/if/task-stack-allocator-init.yml')
-rw-r--r-- | spec/acfg/if/task-stack-allocator-init.yml | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/spec/acfg/if/task-stack-allocator-init.yml b/spec/acfg/if/task-stack-allocator-init.yml new file mode 100644 index 00000000..27d86c09 --- /dev/null +++ b/spec/acfg/if/task-stack-allocator-init.yml @@ -0,0 +1,31 @@ +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 ( *initialize )( size_t )`` or to + ${/c/if/null:/name}. +copyrights: +- Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR) +default-value: ${/c/if/null:/name} +description: | + The value of this configuration option initializes the stack allocator + initialization handler. +enabled-by: true +index-entries: [] +interface-type: appl-config-option +links: +- role: appl-config-group-member + uid: group-stackalloc +name: CONFIGURE_TASK_STACK_ALLOCATOR_INIT +notes: | + A correctly configured system shall configure the following to be consistent: + + * ``CONFIGURE_TASK_STACK_ALLOCATOR_INIT`` + + * ${task-stack-allocator:/name} + + * ${task-stack-deallocator:/name} +text: '' +type: interface |