1if ARCH_MX31 2 3config MX31 4 bool 5 default y 6choice 7 prompt "MX31 board select" 8 optional 9 10config TARGET_MX31PDK 11 bool "Support the i.MX31 PDK board from Freescale/NXP" 12 select BOARD_EARLY_INIT_F 13 select BOARD_LATE_INIT 14 select SUPPORT_SPL 15 16endchoice 17 18config MX31_HCLK_FREQ 19 int "i.MX31 HCLK frequency" 20 default 26000000 21 help 22 Frequency in Hz of the high frequency input clock. Typically 23 26000000 Hz. 24 25config MX31_CLK32 26 int "i.MX31 CLK32 Frequency" 27 default 32768 28 help 29 Frequency in Hz of the low frequency input clock. Typically 30 32768 or 32000 Hz. 31 32source "board/freescale/mx31pdk/Kconfig" 33 34endif 35