10 select SYS_FSL_ERRATUM_ESDHC_A001
16 prompt "MX5 board select"
19 config TARGET_KP_IMX53
20 bool "Support K+P imx53 board"
21 select BOARD_LATE_INIT
36 bool "Support mx51evk"
37 select BOARD_LATE_INIT
41 bool "Support mx53ard"
44 config TARGET_MX53CX9020
46 select BOARD_LATE_INIT
52 bool "Support mx53evk"
53 select BOARD_LATE_INIT
56 config TARGET_MX53LOCO
57 bool "Support mx53loco"
58 select BOARD_LATE_INIT
62 bool "Support mx53ppd"
65 Enable support for the GE Healthcare PPD.
68 bool "Support mx53smd"
75 config TARGET_USBARMORY
76 bool "Support USB armory"
84 source "board/aries/m53evk/Kconfig"
85 source "board/beckhoff/mx53cx9020/Kconfig"
86 source "board/freescale/mx51evk/Kconfig"
87 source "board/freescale/mx53ard/Kconfig"
88 source "board/freescale/mx53evk/Kconfig"
89 source "board/freescale/mx53loco/Kconfig"
90 source "board/freescale/mx53smd/Kconfig"
91 source "board/ge/mx53ppd/Kconfig"
92 source "board/inversepath/usbarmory/Kconfig"
93 source "board/k+p/kp_imx53/Kconfig"
94 source "board/technologic/ts4800/Kconfig"