1# SPDX-License-Identifier: GPL-2.0-only2config UX500_PM_DOMAIN3 bool "ST-Ericsson ux500 Power Domain"4 depends on ARCH_U8500 || COMPILE_TEST5 default ARCH_U85006
