1# Copyright (c) 2014-2015 Wind River Systems, Inc.
2# Copyright (c) 2024 Intel Corp.
3# SPDX-License-Identifier: Apache-2.0
4#
5menu "Device Options"
6
7config DEVICE_DEPS
8	bool "Store device dependencies"
9	help
10	  When enabled, device dependencies will be stored so that they can be
11	  queried at runtime. Device dependencies are typically inferred from
12	  devicetree. Enabling this option will increase ROM usage (or RAM if
13	  dynamic device dependencies are enabled).
14
15config DEVICE_DEPS_DYNAMIC
16	bool "Dynamic device dependencies"
17	depends on DEVICE_DEPS
18	help
19	  Option that makes it possible to manipulate device dependencies at
20	  runtime.
21
22config DEVICE_MUTABLE
23	bool "Mutable devices [EXPERIMENTAL]"
24	select EXPERIMENTAL
25	help
26	  Support mutable devices. Mutable devices are instantiated in SRAM
27	  instead of Flash and are runtime modifiable in kernel mode.
28
29config DEVICE_DT_METADATA
30	bool "Store additional devicetree metadata for each device"
31	help
32	  If enabled, additional data from the devicetree will be stored for
33	  each device. This allows you to use device_get_by_dt_nodelabel(),
34	  device_get_dt_metadata(), etc.
35
36endmenu
37
38menu "Initialization Priorities"
39
40config KERNEL_INIT_PRIORITY_OBJECTS
41	int "Kernel objects initialization priority"
42	default 30
43	help
44	  Kernel objects use this priority for initialization. This
45	  priority needs to be higher than minimal default initialization
46	  priority.
47
48config KERNEL_INIT_PRIORITY_LIBC
49	int "LIBC initialization priority"
50	default 35
51	help
52	  LIBC uses this priority for initialization. This
53	  priority needs to be higher than minimal default initialization
54	  priority.
55
56config KERNEL_INIT_PRIORITY_DEFAULT
57	int "Default init priority"
58	default 40
59	help
60	  Default minimal init priority for each init level.
61
62config KERNEL_INIT_PRIORITY_DEVICE
63	int "Default init priority for device drivers"
64	default 50
65	help
66	  Device driver, that depends on common components, such as
67	  interrupt controller, but does not depend on other devices,
68	  uses this init priority.
69
70config APPLICATION_INIT_PRIORITY
71	int "Default init priority for application level drivers"
72	default 90
73	help
74	  This priority level is for end-user drivers such as sensors and display
75	  which have no inward dependencies.
76
77
78endmenu
79