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_LATE_INIT
	select SUPPORT_SPL
	select BOARD_EARLY_INIT_F

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