menu "Godnet board feature"

config MACH_GODNET
	bool "Support Godnet platform"
	select CPU_V7
	select ARM_GIC
	help
	  Include support for the hisilion godnet(hi3531) platform.

config DEFAULT_BUSCLK
	int "DEFAULT_BUSCLK"
	default "50000000"
	help
	  Default AHB clock rate

endmenu

