# arch/arm/mach-s3c6400/Kconfig
#
# Copyright 2008 Openmoko, Inc.
#	Simtec Electronics, Ben Dooks <ben@simtec.co.uk>
#
# Licensed under GPLv2

# Currently nothing here, this will be added later

# machine support

config MACH_SMDK6400
       bool "SMDK6400"
	select CPU_S3C6410
	select S3C_DEV_HSMMC
	help
	  Machine support for the Samsung SMDK6400