1# SPDX-License-Identifier: GPL-2.0-only
 2# Copyright (C) 2017 Synopsys, Inc. (www.synopsys.com)
 3#
 4
 5menuconfig ARC_SOC_HSDK
 6	bool "ARC HS Development Kit SOC"
 7	depends on ISA_ARCV2
 8	select ARC_HAS_ACCL_REGS
 9	select ARC_IRQ_NO_AUTOSAVE
10	select ARC_FPU_SAVE_RESTORE
11	select CLK_HSDK
12	select RESET_CONTROLLER
13	select RESET_HSDK
14	select HAVE_PCI