1 # Copyright 2008 Openmoko, Inc.
2 # Simtec Electronics, Ben Dooks <ben@simtec.co.uk>
6 # Configuration options for the S3C6410 CPU
10 select CPU_S3C6400_INIT
11 select CPU_S3C6400_CLOCK
13 Enable S3C6400 CPU support
15 config S3C6400_SETUP_SDHCI
18 Internal configuration for default SDHCI
21 # S36400 Macchine support
28 select S3C6400_SETUP_SDHCI
30 Machine support for the Samsung SMDK6400