# Copyright 2020 EPAM Systems
# SPDX-License-Identifier: Apache-2.0

if SOC_XENVM

config NUM_IRQS
	int
	default 500

config SYS_CLOCK_HW_CYCLES_PER_SEC
	int
	default 8320000

# We need at least 16M of virtual address space to map memory of Xen node
# 32M should be enough for basic use-cases
config KERNEL_VM_SIZE
	default 0x2000000

endif