diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-07-06 09:23:27 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-07-07 12:58:52 +0200 |
commit | 518d8c3763f4ab0e3cac33d643b968f5e868e9c4 (patch) | |
tree | 63b8ca1334ab7c71956214ab17a81d5bef04aaac /spec/if/acfg/task-stack-allocator-init.yml | |
parent | 813f520674faf874a74fe8cf28423da9a564feb7 (diff) |
spec: Move application configuration items
Diffstat (limited to 'spec/if/acfg/task-stack-allocator-init.yml')
-rw-r--r-- | spec/if/acfg/task-stack-allocator-init.yml | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/spec/if/acfg/task-stack-allocator-init.yml b/spec/if/acfg/task-stack-allocator-init.yml new file mode 100644 index 00000000..139ecf27 --- /dev/null +++ b/spec/if/acfg/task-stack-allocator-init.yml @@ -0,0 +1,30 @@ +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 ``NULL``. +copyrights: +- Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR) +default-value: '``NULL``' +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` + + * :ref:`CONFIGURE_TASK_STACK_ALLOCATOR` + + * :ref:`CONFIGURE_TASK_STACK_DEALLOCATOR` +text: '' +type: interface |