From 212161482ff18471ecb51823060505ffa9291605 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Llu=C3=ADs=20Batlle=20i=20Rossell?=
 <viric@vicerveza.homeunix.net>
Date: Sun, 1 Aug 2010 21:05:32 +0000
Subject: [PATCH] Setting the proper kernel headers in platforms

svn path=/nixpkgs/branches/stdenv-updates/; revision=22845
---
 pkgs/top-level/platforms.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index 6f0584e30d5..a72f264b4fc 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -157,7 +157,7 @@ rec {
     name = "fuloong2f_n32";
     kernelMajor = "2.6";
     kernelHeadersBaseConfig = "fuloong2e_defconfig";
-    kernelBaseConfig = "fuloong2e_defconfig";
+    kernelBaseConfig = "fuloong2f_defconfig";
     kernelArch = "mips";
     kernelAutoModules = false;
     kernelExtraConfig =