|  | # arch/arm/mach-s3c6400/Kconfig | 
|  | # | 
|  | # Copyright 2008 Openmoko, Inc. | 
|  | #	Simtec Electronics, Ben Dooks <ben@simtec.co.uk> | 
|  | # | 
|  | # Licensed under GPLv2 | 
|  |  | 
|  | # Configuration options for the S3C6410 CPU | 
|  |  | 
|  | config CPU_S3C6400 | 
|  | bool | 
|  | select CPU_S3C6400_INIT | 
|  | select CPU_S3C6400_CLOCK | 
|  | help | 
|  | Enable S3C6400 CPU support | 
|  |  | 
|  | config S3C6400_SETUP_SDHCI | 
|  | bool | 
|  | help | 
|  | Internal configuration for default SDHCI | 
|  | setup for S3C6400. | 
|  |  | 
|  | # S36400 Macchine support | 
|  |  | 
|  | config MACH_SMDK6400 | 
|  | bool "SMDK6400" | 
|  | select CPU_S3C6400 | 
|  | select S3C_DEV_HSMMC | 
|  | select S3C_DEV_NAND | 
|  | select S3C6400_SETUP_SDHCI | 
|  | help | 
|  | Machine support for the Samsung SMDK6400 |