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
33 bool "Support mx51evk"
34 select BOARD_LATE_INIT
38 bool "Support mx53ard"
41 config TARGET_MX53CX9020
43 select BOARD_LATE_INIT
49 bool "Support mx53evk"
50 select BOARD_LATE_INIT
53 config TARGET_MX53LOCO
54 bool "Support mx53loco"
55 select BOARD_LATE_INIT
59 bool "Support mx53ppd"
62 Enable support for the GE Healthcare PPD.
65 bool "Support mx53smd"
72 config TARGET_USBARMORY
73 bool "Support USB armory"
81 source "board/beckhoff/mx53cx9020/Kconfig"
82 source "board/freescale/mx51evk/Kconfig"
83 source "board/freescale/mx53ard/Kconfig"
84 source "board/freescale/mx53evk/Kconfig"
85 source "board/freescale/mx53loco/Kconfig"
86 source "board/freescale/mx53smd/Kconfig"
87 source "board/ge/mx53ppd/Kconfig"
88 source "board/inversepath/usbarmory/Kconfig"
89 source "board/k+p/kp_imx53/Kconfig"
90 source "board/technologic/ts4800/Kconfig"