|  | # Copyright (c) 2014-2015 Wind River Systems, Inc. | 
|  | # Copyright (c) 2024 Intel Corp. | 
|  | # SPDX-License-Identifier: Apache-2.0 | 
|  | # | 
|  | menu "Device Options" | 
|  |  | 
|  | config DEVICE_DEPS | 
|  | bool "Store device dependencies" | 
|  | help | 
|  | When enabled, device dependencies will be stored so that they can be | 
|  | queried at runtime. Device dependencies are typically inferred from | 
|  | devicetree. Enabling this option will increase ROM usage (or RAM if | 
|  | dynamic device dependencies are enabled). | 
|  |  | 
|  | config DEVICE_DEPS_DYNAMIC | 
|  | bool "Dynamic device dependencies" | 
|  | depends on DEVICE_DEPS | 
|  | help | 
|  | Option that makes it possible to manipulate device dependencies at | 
|  | runtime. | 
|  |  | 
|  | config DEVICE_MUTABLE | 
|  | bool "Mutable devices [EXPERIMENTAL]" | 
|  | select EXPERIMENTAL | 
|  | help | 
|  | Support mutable devices. Mutable devices are instantiated in SRAM | 
|  | instead of Flash and are runtime modifiable in kernel mode. | 
|  |  | 
|  | config DEVICE_DT_METADATA | 
|  | bool "Store additional devicetree metadata for each device" | 
|  | help | 
|  | If enabled, additional data from the devicetree will be stored for | 
|  | each device. This allows you to use device_get_by_dt_nodelabel(), | 
|  | device_get_dt_metadata(), etc. | 
|  |  | 
|  | endmenu | 
|  |  | 
|  | menu "Initialization Priorities" | 
|  |  | 
|  | config KERNEL_INIT_PRIORITY_OBJECTS | 
|  | int "Kernel objects initialization priority" | 
|  | default 30 | 
|  | help | 
|  | Kernel objects use this priority for initialization. This | 
|  | priority needs to be higher than minimal default initialization | 
|  | priority. | 
|  |  | 
|  | config KERNEL_INIT_PRIORITY_LIBC | 
|  | int "LIBC initialization priority" | 
|  | default 35 | 
|  | help | 
|  | LIBC uses this priority for initialization. This | 
|  | priority needs to be higher than minimal default initialization | 
|  | priority. | 
|  |  | 
|  | config KERNEL_INIT_PRIORITY_DEFAULT | 
|  | int "Default init priority" | 
|  | default 40 | 
|  | help | 
|  | Default minimal init priority for each init level. | 
|  |  | 
|  | config KERNEL_INIT_PRIORITY_DEVICE | 
|  | int "Default init priority for device drivers" | 
|  | default 50 | 
|  | help | 
|  | Device driver, that depends on common components, such as | 
|  | interrupt controller, but does not depend on other devices, | 
|  | uses this init priority. | 
|  |  | 
|  | config APPLICATION_INIT_PRIORITY | 
|  | int "Default init priority for application level drivers" | 
|  | default 90 | 
|  | help | 
|  | This priority level is for end-user drivers such as sensors and display | 
|  | which have no inward dependencies. | 
|  |  | 
|  |  | 
|  | endmenu |