| # 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 |