1if TARGET_HSDK
2
3config SYS_BOARD
4	default "hsdk"
5
6config SYS_VENDOR
7	default "synopsys"
8
9config SYS_CONFIG_NAME
10	default "hsdk" if BOARD_HSDK
11	default "hsdk-4xd" if BOARD_HSDK_4XD
12
13choice
14	prompt "HSDK board type"
15	default BOARD_HSDK
16
17config BOARD_HSDK
18	bool "ARC HS Development Kit"
19	help
20	  ARC HS Development Kit based on quard core ARC HS38 processor
21
22config BOARD_HSDK_4XD
23	bool "ARC HS4x/HS4xD Development Kit"
24	help
25	  ARC HS4x/HS4xD Development Kit based on quard core ARC HS48/HS47D
26	  processor
27
28endchoice
29
30endif
31