summaryrefslogtreecommitdiff
path: root/spec/acfg/opt/idletaskbody.yml
diff options
context:
space:
mode:
Diffstat (limited to 'spec/acfg/opt/idletaskbody.yml')
-rw-r--r--spec/acfg/opt/idletaskbody.yml28
1 files changed, 14 insertions, 14 deletions
diff --git a/spec/acfg/opt/idletaskbody.yml b/spec/acfg/opt/idletaskbody.yml
index fd9cd145..bcd87ea4 100644
--- a/spec/acfg/opt/idletaskbody.yml
+++ b/spec/acfg/opt/idletaskbody.yml
@@ -1,30 +1,30 @@
SPDX-License-Identifier: CC-BY-SA-4.0
-appl-config-option-constraint:
+appl-config-option-type: initializer
+constraints:
custom:
- |
The value of this configuration option shall be defined to a valid function
pointer of the type ``void *( *idle_body )( uintptr_t )``.
-appl-config-option-default-value: |
+copyrights:
+- Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR)
+default-value: |
If :ref:`BSP_IDLE_TASK_BODY` is defined, then this will be the default value,
otherwise the default value is ``_CPU_Thread_Idle_body``.
-appl-config-option-description: |
+description: |
The value of this configuration option initializes the IDLE thread body.
-appl-config-option-index: []
-appl-config-option-name: CONFIGURE_IDLE_TASK_BODY
-appl-config-option-notes: |
+enabled-by: true
+index-entries: []
+interface-type: appl-config-option
+links:
+- role: appl-config-group-member
+ uid: ../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 :ref:`CONFIGURE_IDLE_TASK_INITIALIZES_APPLICATION`.
-appl-config-option-type: initializer
-copyrights:
-- Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR)
-enabled-by: true
-interface-type: appl-config-option
-links:
-- role: appl-config-group-member
- uid: ../idle
text: ''
type: interface