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