10 select SYS_FSL_ERRATUM_ESDHC_A001
11 select ARM_CORTEX_A8_CVE_2017_5715
15 select ARM_CORTEX_A8_CVE_2017_5715
18 prompt "MX5 board select"
21 config TARGET_KP_IMX53
22 bool "Support K+P imx53 board"
23 select BOARD_LATE_INIT
38 bool "Support mx51evk"
39 select BOARD_LATE_INIT
43 bool "Support mx53ard"
46 config TARGET_MX53CX9020
48 select BOARD_LATE_INIT
54 bool "Support mx53evk"
55 select BOARD_LATE_INIT
58 config TARGET_MX53LOCO
59 bool "Support mx53loco"
60 select BOARD_LATE_INIT
64 bool "Support mx53ppd"
67 Enable support for the GE Healthcare PPD.
70 bool "Support mx53smd"
77 config TARGET_USBARMORY
78 bool "Support USB armory"
86 source "board/aries/m53evk/Kconfig"
87 source "board/beckhoff/mx53cx9020/Kconfig"
88 source "board/freescale/mx51evk/Kconfig"
89 source "board/freescale/mx53ard/Kconfig"
90 source "board/freescale/mx53evk/Kconfig"
91 source "board/freescale/mx53loco/Kconfig"
92 source "board/freescale/mx53smd/Kconfig"
93 source "board/ge/mx53ppd/Kconfig"
94 source "board/inversepath/usbarmory/Kconfig"
95 source "board/k+p/kp_imx53/Kconfig"
96 source "board/technologic/ts4800/Kconfig"