diff options
Diffstat (limited to 'spec/if/acfg/task-stack-allocator-init.yml')
-rw-r--r-- | spec/if/acfg/task-stack-allocator-init.yml | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/spec/if/acfg/task-stack-allocator-init.yml b/spec/if/acfg/task-stack-allocator-init.yml deleted file mode 100644 index 8e56ae30..00000000 --- a/spec/if/acfg/task-stack-allocator-init.yml +++ /dev/null @@ -1,31 +0,0 @@ -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/null:/name}. -copyrights: -- Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR) -default-value: ${../c/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 |