Fixing the kernel configuration for Fuloong2F. Specially with VGA_CONSOLE enabled,

it will not boot. svn path=/nixpkgs/trunk/; revision=31750
2012-01-21 00:34:38 +00:00 · 2012-01-21 00:34:38 +00:00 · e6c1aa2005
parent 6945a75f7b
commit e6c1aa2005
1 changed files with 9 additions and 0 deletions
--- 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;