diff options
| author | Lluís Batlle i Rossell <viric@vicerveza.homeunix.net> | 2012-01-21 00:34:38 +0000 |
|---|---|---|
| committer | Lluís Batlle i Rossell <viric@vicerveza.homeunix.net> | 2012-01-21 00:34:38 +0000 |
| commit | e6c1aa2005a35b415cfb0c6604a087bb99ec4368 (patch) | |
| tree | ad17f22a97cb84c2b67b766028c30a66f44e290b /pkgs/top-level/platforms.nix | |
| parent | 6945a75f7b95f1c6eabb7a46479d17ea90af0794 (diff) | |
Fixing the kernel configuration for Fuloong2F. Specially with VGA_CONSOLE enabled,
it will not boot. svn path=/nixpkgs/trunk/; revision=31750
Diffstat (limited to 'pkgs/top-level/platforms.nix')
| -rw-r--r-- | pkgs/top-level/platforms.nix | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix index 730629731f335..43fcdea62d05e 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; |