[Nix-dev] GRUB Options

[Eelco Dolstra]

Hi,

On 14/07/14 03:45, Roger Qiu wrote:

> boot.kernelParams = [
>      clocksource = "tsc";
> ];

That should be:

  boot.kernelParams = [ "clocksource=tsc" ];

-- 
Eelco Dolstra | LogicBlox, Inc. | http://nixos.org/~eelco/