10 select SYS_FSL_ERRATUM_ESDHC_A001
16 prompt "MX5 board select"
25 bool "Support mx51evk"
26 select BOARD_LATE_INIT
30 bool "Support mx53ard"
33 config TARGET_MX53CX9020
35 select BOARD_LATE_INIT
41 bool "Support mx53evk"
42 select BOARD_LATE_INIT
45 config TARGET_MX53LOCO
46 bool "Support mx53loco"
47 select BOARD_LATE_INIT
51 bool "Support mx53ppd"
54 Enable support for the GE Healthcare PPD.
57 bool "Support mx53smd"
64 config TARGET_USBARMORY
65 bool "Support USB armory"
73 source "board/aries/m53evk/Kconfig"
74 source "board/beckhoff/mx53cx9020/Kconfig"
75 source "board/freescale/mx51evk/Kconfig"
76 source "board/freescale/mx53ard/Kconfig"
77 source "board/freescale/mx53evk/Kconfig"
78 source "board/freescale/mx53loco/Kconfig"
79 source "board/freescale/mx53smd/Kconfig"
80 source "board/ge/mx53ppd/Kconfig"
81 source "board/inversepath/usbarmory/Kconfig"
82 source "board/technologic/ts4800/Kconfig"