1# SPDX-License-Identifier: Apache-2.0
2# Copyright (c) 2022-2023 EPAM Systems
3
4if XEN
5
6menu "Xen drivers"
7
8config XEN_GRANT_TABLE
9	bool "Xen grant table driver"
10	depends on HEAP_MEM_POOL_SIZE > 0
11	default y
12	help
13	  Xen grant table driver. Please note that driver uses dynamic memory
14	  allocation with k_malloc(), so CONFIG_HEAP_MEM_POOL_SIZE should be
15	  >= number of pages, that you want to alloc and grant or foreign frames
16	  that you want to map.
17
18config XEN_GRANT_TABLE_INIT_PRIORITY
19	int "Grant table driver init priority"
20	depends on XEN_GRANT_TABLE
21	default 50
22
23endmenu
24
25endif # XEN
26