blob: a88cd9d10c826d27d0407065e3a3e38f9e0535ba (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
appl-config-option-type: initializer
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: requirement-refinement
uid: ../req/task-stack-allocator-init
- role: appl-config-group-member
uid: group-stackalloc
- role: constraint
uid: ../constraint/init-task-stack-allocator-init
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}
type: interface
|