| 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 |