summaryrefslogtreecommitdiffstats
path: root/spec/acfg/opt/bspidletaskbody.yml
diff options
context:
space:
mode:
Diffstat (limited to 'spec/acfg/opt/bspidletaskbody.yml')
-rw-r--r--spec/acfg/opt/bspidletaskbody.yml24
1 files changed, 12 insertions, 12 deletions
diff --git a/spec/acfg/opt/bspidletaskbody.yml b/spec/acfg/opt/bspidletaskbody.yml
index d5cd0459..83f9244a 100644
--- a/spec/acfg/opt/bspidletaskbody.yml
+++ b/spec/acfg/opt/bspidletaskbody.yml
@@ -1,12 +1,15 @@
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: |
The default value is BSP-specific.
-appl-config-option-description: |
+description: |
If
* this configuration option is defined by the BSP
@@ -15,19 +18,16 @@ appl-config-option-description: |
then the value of this configuration option defines the default value of
:ref:`CONFIGURE_IDLE_TASK_BODY`.
-appl-config-option-index: []
-appl-config-option-name: BSP_IDLE_TASK_BODY
-appl-config-option-notes: |
- As it has knowledge of the specific CPU model, system controller logic, and
- peripheral buses, a BSP-specific IDLE task may be capable of turning
- components off to save power during extended periods of no task activity.
-appl-config-option-type: initializer
-copyrights:
-- Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR)
enabled-by: true
+index-entries: []
interface-type: appl-config-option
links:
- role: appl-config-group-member
uid: ../bsp
+name: BSP_IDLE_TASK_BODY
+notes: |
+ As it has knowledge of the specific CPU model, system controller logic, and
+ peripheral buses, a BSP-specific IDLE task may be capable of turning
+ components off to save power during extended periods of no task activity.
text: ''
type: interface