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