From bc939a87b412ac0ac3cdd47c0a2e8a1dd8aa07c3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Llu=C3=ADs=20Batlle=20i=20Rossell?=
 <viric@vicerveza.homeunix.net>
Date: Sun, 21 Feb 2010 12:24:50 +0000
Subject: [PATCH] More platform updates - the serial line in integratorcp
 kernel still does not work for me, nevertheless.

svn path=/nixpkgs/trunk/; revision=20153
---
 pkgs/top-level/platforms.nix | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index 492a0deaf124..4fa60d72ec76 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -60,6 +60,12 @@ with pkgs;
     kernelArch = "arm";
     kernelAutoModules = false;
     kernelTarget = "zImage";
+    kernelExtraConfig =
+      ''
+        MMC_ARMMMCI y
+        MMC_SDHCI y
+        SERIO_AMBAKMI y
+      '';
     uboot = null;
   };
 
@@ -76,6 +82,12 @@ with pkgs;
         SERIAL_AMBA_PL011_CONSOLE y
         SERIAL_AMBA_PL010 n
         SERIAL_AMBA_PL010_CONSOLE n
+
+        MMC_ARMMMCI y
+        MMC_SDHCI y
+        SERIO_AMBAKMI y
+
+        CPU_ARM926T y
       '';
     uboot = null;
     ubootConfig = "integratorcp_config";
@@ -94,6 +106,12 @@ with pkgs;
         SERIAL_AMBA_PL011_CONSOLE y
         SERIAL_AMBA_PL010 n
         SERIAL_AMBA_PL010_CONSOLE n
+
+        MMC_ARMMMCI y
+        MMC_SDHCI y
+        SERIO_AMBAKMI y
+
+        CPU_ARM926T y
       '';
     uboot = uboot;
     ubootConfig = "integratorcp_config";