-
Notifications
You must be signed in to change notification settings - Fork 10
/
Kconfig
126 lines (107 loc) · 3.45 KB
/
Kconfig
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
# Copyright (c) 2024 EPAM Systems
# SPDX-License-Identifier: Apache-2.0
mainmenu "Xen Libraries"
config XEN_STORE_SRV
bool "Enable XenStore server"
help
Enable xenstore server library. It should be included
if you are running Zephyr as Dom0.
config XEN_LIBFDT
bool "Enable libfdt support"
help
Enable libfdt module. This module allows you to generate
Domain device tree based on the parameters set in the
Domain config. It provides complete toolset to work with
flattened device tree.
config PARTIAL_DEVICE_TREE_SIZE
int "Domain device tree size"
default 8192
help
Maximum size of the domain device tree
config XEN_DOMAIN_MANAGEMENT
bool "Enable Xen Domain Management"
help
Enable domain management library. This library allows you
to create, destroy and manage xen domains.
config XEN_DOMCFG_SECTION
bool "Enable Xen domain config section"
default y
depends on XEN_DOMAIN_MANAGEMENT
help
Enable gathering domain configurations to a common section.
This allows you to declare multiple domain configs with
a DECL_CONFIG macro. Configs can be later accessed by
their name.
config XEN_DOMCFG_READ_PDT
bool "Enable reading of domain partial device-tree (PDT) binary"
default y
depends on XEN_DOMAIN_MANAGEMENT
help
Enables reading of domain partial device-tree (PDT) binary by using
callbacks in struct xen_domain_cfg.
It also enables this feature in "xu create" shell command which will
try to load PDT binary using struct xen_domain_cfg callbacks.
config XEN_CONSOLE_SRV
bool "Enable Xen Console server"
help
Enable xen console server. It should be included if you
are running Zephyr as Dom0, otherwise any DomU that uses
Xen para-virtual console (PVC) may lock up. On other hand,
this server can be omitted if you are certain that DomUs
will never touch PV console.
config XEN_SHELL
bool "Enable Xen shell commands"
select SHELL
help
Enable set of Xen shell commands for domain management.
config XENSTORE_SHELL_READ_SIZE
int "Size of xs read buffer"
default 256
depends on XEN_SHELL
help
Sets the maximum size that xs read cmd can handle
config XENSTORE_TREE_TRAVERSE_DEPTH
int "Maximum xs traverse depth"
default 8
range 1 16
help
Sets the maximum xs traverse depth to avoid stack overflow
in case of deeply nested XS trees.
config XEN_VCH
bool "Enable Xen vchannels support"
help
Enable vchannel communication library.
config VCH_PATH_MAXLEN
int "Maximum length of vchannel ID to read from XenStore"
default 32
help
The maximum XenStore path size that identify a separate vchannel.
config PFN_CHUNK_SIZE
int "Chunk size for memory mapping operations"
default 128
help
Chunk size for helper functions for mapping/unmapping
memory from guest domain to Dom0.
config DOM_MAX
int "Maximum number of DomU"
default 4
range 1 32
help
Maximum number of DomU that can be created and launched.
config XSTAT
bool "Enable XSTAT support"
help
Enable xstat support which allows statistic information about running domains
config XSTAT_SHELL_CMDS
depends on XSTAT
depends on SHELL
bool "Enable XSTAT shell commands"
help
Enable set of XSTAT shell commands.
config XEN_DOM0LESS_BOOT
bool "Xen dom0less boot support [EXPERIMENTAL]"
help
Enable to support Xen dom0less boot. The domains started by Xen
will be identified and added to xenlib domain management subsystem, for each domain
xenstore will be initialized.
This is EXPERIMENTAL and depends on work in Xen mainline.