From 7ae1e9bb6ddf914b660e8c18102d3373d5fdc975 Mon Sep 17 00:00:00 2001
From: Tuomas Tynkkynen <tuomas@tuxera.com>
Date: Mon, 6 Jun 2016 18:20:15 +0300
Subject: [PATCH] multi_v7_defconfig: Enable AHCI_IMX

---
 pkgs/top-level/platforms.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index 805fe4f3825..8ffe1a60af5 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -397,9 +397,11 @@ rec {
     kernelArch = "arm";
     kernelDTB = true;
     kernelAutoModules = false;
-    kernelExtraConfig = "";
     uboot = null;
     kernelTarget = "zImage";
+    kernelExtraConfig = ''
+      AHCI_IMX y
+    '';
     gcc = {
       # Some table about fpu flags:
       # http://community.arm.com/servlet/JiveServlet/showImage/38-1981-3827/blogentry-103749-004812900+1365712953_thumb.png