1# Copyright 2020 EPAM Systems
2# SPDX-License-Identifier: Apache-2.0
3
4if SOC_XENVM
5
6config NUM_IRQS
7	default 500
8
9config SYS_CLOCK_HW_CYCLES_PER_SEC
10	default 8320000
11
12# We need at least 16M of virtual address space to map memory of Xen node
13# 32M should be enough for basic use-cases
14config KERNEL_VM_SIZE
15	default 0x2000000
16
17endif
18