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 12config MX53 13 bool 14 15choice 16 prompt "MX5 board select" 17 optional 18 19config TARGET_M53EVK 20 bool "Support m53evk" 21 select MX53 22 select SUPPORT_SPL 23 24config TARGET_MX51EVK 25 bool "Support mx51evk" 26 select BOARD_LATE_INIT 27 select MX51 28 29config TARGET_MX53ARD 30 bool "Support mx53ard" 31 select MX53 32 33config TARGET_MX53CX9020 34 bool "Support CX9020" 35 select BOARD_LATE_INIT 36 select MX53 37 select DM 38 select DM_SERIAL 39 40config TARGET_MX53EVK 41 bool "Support mx53evk" 42 select BOARD_LATE_INIT 43 select MX53 44 45config TARGET_MX53LOCO 46 bool "Support mx53loco" 47 select BOARD_LATE_INIT 48 select MX53 49 50config TARGET_MX53PPD 51 bool "Support mx53ppd" 52 select MX53 53 help 54 Enable support for the GE Healthcare PPD. 55 56config TARGET_MX53SMD 57 bool "Support mx53smd" 58 select MX53 59 60config TARGET_TS4800 61 bool "Support TS4800" 62 select MX51 63 64config TARGET_USBARMORY 65 bool "Support USB armory" 66 select MX53 67 68endchoice 69 70config SYS_SOC 71 default "mx5" 72 73source "board/aries/m53evk/Kconfig" 74source "board/beckhoff/mx53cx9020/Kconfig" 75source "board/freescale/mx51evk/Kconfig" 76source "board/freescale/mx53ard/Kconfig" 77source "board/freescale/mx53evk/Kconfig" 78source "board/freescale/mx53loco/Kconfig" 79source "board/freescale/mx53smd/Kconfig" 80source "board/ge/mx53ppd/Kconfig" 81source "board/inversepath/usbarmory/Kconfig" 82source "board/technologic/ts4800/Kconfig" 83 84endif 85