rockchip: rk3288: use ARM arch timer instead of rk_timer
[oweals/u-boot.git] / arch / arm / mach-imx / mx2 / Kconfig
1 if ARCH_MX25
2
3 config MX25
4         bool
5         default y
6         select SYS_FSL_ERRATUM_ESDHC_A001
7 choice
8         prompt "MX25 board select"
9         optional
10
11 config TARGET_MX25PDK
12         bool "Support mx25pdk"
13         select BOARD_LATE_INIT
14         select CPU_ARM926EJS
15         select BOARD_EARLY_INIT_F
16
17 config TARGET_ZMX25
18         bool "Support zmx25"
19         select BOARD_LATE_INIT
20         select CPU_ARM926EJS
21
22 endchoice
23
24 config SYS_SOC
25         default "mx25"
26
27 source "board/freescale/mx25pdk/Kconfig"
28 source "board/syteco/zmx25/Kconfig"
29
30 endif