7 prompt "MX31 board select"
11 bool "Support the i.MX31 PDK board from Freescale/NXP"
12 select BOARD_LATE_INIT
14 select BOARD_EARLY_INIT_F
19 int "i.MX31 HCLK frequency"
22 Frequency in Hz of the high frequency input clock. Typically
26 int "i.MX31 CLK32 Frequency"
29 Frequency in Hz of the low frequency input clock. Typically
32 source "board/freescale/mx31pdk/Kconfig"