diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-09-16 11:48:29 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-09-16 16:33:00 +0200 |
| commit | 3bdf817950eadd75a2785b62220eb0b04533b9fd (patch) | |
| tree | ed221c6de813e7a473e2882af6326bf2e5b44bd1 /spec/if/acfg/idle-task-body.yml | |
| parent | 724df1c5ef711c9399cd8c33b23aee40304d0332 (diff) | |
spec: Group items by component
Diffstat (limited to 'spec/if/acfg/idle-task-body.yml')
| -rw-r--r-- | spec/if/acfg/idle-task-body.yml | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/spec/if/acfg/idle-task-body.yml b/spec/if/acfg/idle-task-body.yml deleted file mode 100644 index 82fc7a4f..00000000 --- a/spec/if/acfg/idle-task-body.yml +++ /dev/null @@ -1,30 +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 *( *idle_body )( uintptr_t )``. -copyrights: -- Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR) -default-value: | - If ${bsp-idle-task-body:/name} is defined, then this will be the default value, - otherwise the default value is ``_CPU_Thread_Idle_body``. -description: | - The value of this configuration option initializes the IDLE thread body. -enabled-by: true -index-entries: [] -interface-type: appl-config-option -links: -- role: appl-config-group-member - uid: group-idle -name: CONFIGURE_IDLE_TASK_BODY -notes: | - IDLE threads shall not block. A blocking IDLE thread results in undefined - system behaviour because the scheduler assume that at least one ready thread - exists. - - IDLE threads can be used to initialize the application, see configuration - option ${idle-task-init-appl:/name}. -text: '' -type: interface |