1# Copyright 2020 EPAM Systems
2# SPDX-License-Identifier: Apache-2.0
3
4config SOC_XENVM
5	bool
6
7config SOC
8	default "xenvm" if SOC_XENVM
9