From e6c1aa2005a35b415cfb0c6604a087bb99ec4368 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Llu=C3=ADs=20Batlle=20i=20Rossell?=
 <viric@vicerveza.homeunix.net>
Date: Sat, 21 Jan 2012 00:34:38 +0000
Subject: [PATCH] Fixing the kernel configuration for Fuloong2F. Specially with
 VGA_CONSOLE enabled, it will not boot.

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

diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index 730629731f33..43fcdea62d05 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -230,6 +230,15 @@ rec {
 
         # Needed for udev >= 150
         SYSFS_DEPRECATED_V2 n
+
+        VGA_CONSOLE n
+        VT_HW_CONSOLE_BINDING y
+        SERIAL_8250_CONSOLE y
+        FRAMEBUFFER_CONSOLE y
+        EXT2_FS y
+        EXT3_FS y
+        REISERFS_FS y
+        MAGIC_SYSRQ y
       '';
     kernelTarget = "vmlinux";
     uboot = null;