From 8f2427c91a1e4249663b2b4b6907c6392dd2a75d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Llu=C3=ADs=20Batlle=20i=20Rossell?=
 <viric@vicerveza.homeunix.net>
Date: Sat, 27 Feb 2010 00:55:03 +0000
Subject: [PATCH] Updating the actual platforms in platforms.nix to fit the new
 requirement: kernelHeadersBaseConfig.

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

diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index 647cd5c30eb7..9cd209a75522 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -24,6 +24,7 @@ rec {
 
   sheevaplug = {
     name = "sheevaplug";
+    kernelHeadersBaseConfig = "kirkwood_defconfig";
     kernelBaseConfig = "kirkwood_defconfig";
     kernelArch = "arm";
     kernelAutoModules = false;
@@ -66,6 +67,7 @@ rec {
 
   versatileARM = {
     name = "versatileARM";
+    kernelHeadersBaseConfig = "versatile_defconfig";
     kernelBaseConfig = "versatile_defconfig";
     kernelArch = "arm";
     kernelAutoModules = false;
@@ -102,6 +104,7 @@ rec {
 
   integratorCP = {
     name = "integratorCP";
+    kernelHeadersBaseConfig = "integrator_defconfig";
     kernelBaseConfig = "integrator_defconfig";
     kernelArch = "arm";
     kernelAutoModules = false;