1 if ARCH_MX31 2 3 config MX31 4 bool 5 default y 6 choice 7 prompt "MX31 board select" 8 optional 9 10 config TARGET_MX31PDK 11 bool "Support the i.MX31 PDK board from Freescale/NXP" 12 select BOARD_LATE_INIT 13 select SUPPORT_SPL 14 select BOARD_EARLY_INIT_F 15 16 endchoice 17 18 config 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 25 config 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 32 source "board/freescale/mx31pdk/Kconfig" 33 34 endif 35
