1if ARCH_MX5
2
3config MX5
4	select GPT_TIMER
5	bool
6	default y
7
8config MX51
9	bool
10	select SYS_FSL_ERRATUM_ESDHC_A001
11	select ARM_CORTEX_A8_CVE_2017_5715
12
13config MX53
14	bool
15	select ARM_CORTEX_A8_CVE_2017_5715
16
17choice
18	prompt "MX5 board select"
19	optional
20
21config TARGET_KP_IMX53
22	bool "Support K+P imx53 board"
23	select BOARD_LATE_INIT
24	select MX53
25	select DM
26	select DM_SERIAL
27	select DM_ETH
28	select DM_I2C
29	select DM_GPIO
30	select DM_PMIC
31
32config TARGET_MX51EVK
33	bool "Support mx51evk"
34	select BOARD_LATE_INIT
35	select MX51
36
37config TARGET_MX53ARD
38	bool "Support mx53ard"
39	select MX53
40
41config TARGET_MX53CX9020
42	bool "Support CX9020"
43	select BOARD_LATE_INIT
44	select MX53
45	select DM
46	select DM_SERIAL
47
48config TARGET_MX53EVK
49	bool "Support mx53evk"
50	select BOARD_LATE_INIT
51	select MX53
52
53config TARGET_MX53LOCO
54	bool "Support mx53loco"
55	select BOARD_LATE_INIT
56	select MX53
57
58config TARGET_MX53PPD
59	bool "Support mx53ppd"
60	select MX53
61	help
62	  Enable support for the GE Healthcare PPD.
63
64config TARGET_MX53SMD
65	bool "Support mx53smd"
66	select MX53
67
68config TARGET_TS4800
69	bool "Support TS4800"
70	select MX51
71
72config TARGET_USBARMORY
73	bool "Support USB armory"
74	select MX53
75
76endchoice
77
78config SYS_SOC
79	default "mx5"
80
81source "board/beckhoff/mx53cx9020/Kconfig"
82source "board/freescale/mx51evk/Kconfig"
83source "board/freescale/mx53ard/Kconfig"
84source "board/freescale/mx53evk/Kconfig"
85source "board/freescale/mx53loco/Kconfig"
86source "board/freescale/mx53smd/Kconfig"
87source "board/ge/mx53ppd/Kconfig"
88source "board/inversepath/usbarmory/Kconfig"
89source "board/k+p/kp_imx53/Kconfig"
90source "board/technologic/ts4800/Kconfig"
91
92endif
93