diff options
Diffstat (limited to 'spec/if/acfg/task-stack-deallocator.yml')
-rw-r--r-- | spec/if/acfg/task-stack-deallocator.yml | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/spec/if/acfg/task-stack-deallocator.yml b/spec/if/acfg/task-stack-deallocator.yml deleted file mode 100644 index d18d158f..00000000 --- a/spec/if/acfg/task-stack-deallocator.yml +++ /dev/null @@ -1,33 +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 ( *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 |