1if ARCH_MX5 2 3config MX5 4 select GPT_TIMER 5 bool 6 default y 7 8config MX51 9 bool 10 select SYS_FSL_ERRATUM_ESDHC_A001 11 select ARM_CORTEX_A8_CVE_2017_5715 12 13config MX53 14 bool 15 select ARM_CORTEX_A8_CVE_2017_5715 16 17choice 18 prompt "MX5 board select" 19 optional 20 21config TARGET_KP_IMX53 22 bool "Support K+P imx53 board" 23 select BOARD_LATE_INIT 24 select MX53 25 select DM 26 select DM_SERIAL 27 select DM_ETH 28 select DM_I2C 29 select DM_GPIO 30 select DM_PMIC 31 32config TARGET_MX51EVK 33 bool "Support mx51evk" 34 select BOARD_LATE_INIT 35 select MX51 36 37config TARGET_MX53ARD 38 bool "Support mx53ard" 39 select MX53 40 41config TARGET_MX53CX9020 42 bool "Support CX9020" 43 select BOARD_LATE_INIT 44 select MX53 45 select DM 46 select DM_SERIAL 47 48config TARGET_MX53EVK 49 bool "Support mx53evk" 50 select BOARD_LATE_INIT 51 select MX53 52 53config TARGET_MX53LOCO 54 bool "Support mx53loco" 55 select BOARD_LATE_INIT 56 select MX53 57 58config TARGET_MX53PPD 59 bool "Support mx53ppd" 60 select MX53 61 help 62 Enable support for the GE Healthcare PPD. 63 64config TARGET_MX53SMD 65 bool "Support mx53smd" 66 select MX53 67 68config TARGET_TS4800 69 bool "Support TS4800" 70 select MX51 71 72config TARGET_USBARMORY 73 bool "Support USB armory" 74 select MX53 75 76endchoice 77 78config SYS_SOC 79 default "mx5" 80 81source "board/beckhoff/mx53cx9020/Kconfig" 82source "board/freescale/mx51evk/Kconfig" 83source "board/freescale/mx53ard/Kconfig" 84source "board/freescale/mx53evk/Kconfig" 85source "board/freescale/mx53loco/Kconfig" 86source "board/freescale/mx53smd/Kconfig" 87source "board/ge/mx53ppd/Kconfig" 88source "board/inversepath/usbarmory/Kconfig" 89source "board/k+p/kp_imx53/Kconfig" 90source "board/technologic/ts4800/Kconfig" 91 92endif 93