if ARCH_EP93XX

menu "Cirrus EP93xx Implementation Options"

config CRUNCH
	bool "Support for MaverickCrunch"
	help
	  Enable kernel support for MaverickCrunch.

comment "EP93xx Platforms"

config MACH_ADSSPHERE
	bool "Support ADS Sphere"
	help
	  Say 'Y' here if you want your kernel to support the ADS
	  Sphere board.

config MACH_EDB9302
	bool "Support Cirrus Logic EDB9302"
	help
	  Say 'Y' here if you want your kernel to support the Cirrus
	  Logic EDB9302 Evaluation Board.

config MACH_EDB9302A
	bool "Support Cirrus Logic EDB9302A"
	help
	  Say 'Y' here if you want your kernel to support the Cirrus
	  Logic EDB9302A Evaluation Board.

config MACH_EDB9312
	bool "Support Cirrus Logic EDB9312"
	help
	  Say 'Y' here if you want your kernel to support the Cirrus
	  Logic EDB9312 Evaluation Board.

config MACH_EDB9315
	bool "Support Cirrus Logic EDB9315"
	help
	  Say 'Y' here if you want your kernel to support the Cirrus
	  Logic EDB9315 Evaluation Board.

config MACH_EDB9315A
	bool "Support Cirrus Logic EDB9315A"
	help
	  Say 'Y' here if you want your kernel to support the Cirrus
	  Logic EDB9315A Evaluation Board.

config MACH_GESBC9312
	bool "Support Glomation GESBC-9312-sx"
	help
	  Say 'Y' here if you want your kernel to support the Glomation
	  GESBC-9312-sx board.

config MACH_MICRO9
        bool
        default n

config MACH_MICRO9H
       bool "Support Contec Hypercontrol Micro9-H"
       select MACH_MICRO9
       help
         Say 'Y' here if you want your kernel to support the
         Contec Hypercontrol Micro9-H board.

config MACH_MICRO9M
       bool "Support Contec Hypercontrol Micro9-M"
       select MACH_MICRO9
       help
         Say 'Y' here if you want your kernel to support the
         Contec Hypercontrol Micro9-M board.

config MACH_MICRO9L
       bool "Support Contec Hypercontrol Micro9-L"
       select MACH_MICRO9
       help
         Say 'Y' here if you want your kernel to support the
         Contec Hypercontrol Micro9-L board.

config MACH_TS72XX
	bool "Support Technologic Systems TS-72xx SBC"
	help
	  Say 'Y' here if you want your kernel to support the
	  Technologic Systems TS-72xx board.

endmenu

endif
