From 6502806689113c1a12b944be2695664ea7e7f26a Mon Sep 17 00:00:00 2001
From: Michael Raskin <7c6f434c@mail.ru>
Date: Fri, 15 Jan 2010 21:55:51 +0000
Subject: [PATCH] Allow turning off VESA framebuffer

svn path=/nixos/trunk/; revision=19473
---
 modules/system/boot/kernel.nix | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/modules/system/boot/kernel.nix b/modules/system/boot/kernel.nix
index d5d54d6f813..66b83107ec2 100644
--- a/modules/system/boot/kernel.nix
+++ b/modules/system/boot/kernel.nix
@@ -47,6 +47,14 @@ let kernel = config.boot.kernelPackages.kernel; in
       description = "Additional user-defined kernel parameters.";
     };
 
+    boot.vesa = mkOption {
+      default = true;
+      example = false;
+      description = ''
+        Whether to activate VESA video mode on boot
+      '';
+    };
+
     boot.extraModulePackages = mkOption {
       default = [];
       # !!! example = [pkgs.aufs pkgs.nvidia_x11];
@@ -115,9 +123,8 @@ let kernel = config.boot.kernelPackages.kernel; in
     system.modulesTree = [ kernel ] ++ config.boot.extraModulePackages;
 
     boot.kernelParams =
-      [ "splash=verbose"
-        "vga=0x317"
-      ];
+      [ "splash=verbose"] ++ 
+      optional config.boot.vesa "vga=0x317";
       
     boot.kernelModules = [ "loop" ];