9 select SYS_FSL_ERRATUM_ESDHC_A001
15 prompt "MX5 board select"
24 bool "Support mx51evk"
25 select BOARD_LATE_INIT
29 bool "Support mx53ard"
32 config TARGET_MX53CX9020
34 select BOARD_LATE_INIT
40 bool "Support mx53evk"
41 select BOARD_LATE_INIT
44 config TARGET_MX53LOCO
45 bool "Support mx53loco"
46 select BOARD_LATE_INIT
50 bool "Support mx53ppd"
53 Enable support for the GE Healthcare PPD.
56 bool "Support mx53smd"
63 config TARGET_USBARMORY
64 bool "Support USB armory"
72 source "board/aries/m53evk/Kconfig"
73 source "board/beckhoff/mx53cx9020/Kconfig"
74 source "board/freescale/mx51evk/Kconfig"
75 source "board/freescale/mx53ard/Kconfig"
76 source "board/freescale/mx53evk/Kconfig"
77 source "board/freescale/mx53loco/Kconfig"
78 source "board/freescale/mx53smd/Kconfig"
79 source "board/ge/mx53ppd/Kconfig"
80 source "board/inversepath/usbarmory/Kconfig"
81 source "board/technologic/ts4800/Kconfig"