| if ARCH_MX31 |
| |
| config MX31 |
| bool |
| default y |
| choice |
| prompt "MX31 board select" |
| optional |
| |
| config TARGET_MX31PDK |
| bool "Support the i.MX31 PDK board from Freescale/NXP" |
| select BOARD_EARLY_INIT_F |
| select BOARD_LATE_INIT |
| select SUPPORT_SPL |
| |
| endchoice |
| |
| config MX31_HCLK_FREQ |
| int "i.MX31 HCLK frequency" |
| default 26000000 |
| help |
| Frequency in Hz of the high frequency input clock. Typically |
| 26000000 Hz. |
| |
| config MX31_CLK32 |
| int "i.MX31 CLK32 Frequency" |
| default 32768 |
| help |
| Frequency in Hz of the low frequency input clock. Typically |
| 32768 or 32000 Hz. |
| |
| source "board/freescale/mx31pdk/Kconfig" |
| |
| endif |
