[Nix-dev] GRUB Options

Roger Qiu roger.qiu at polycademy.com
Mon Jul 14 03:45:54 CEST 2014


Hello,

How would one use Nix to set GRUB options such as:

```
GRUB_CMDLINE_LINUX="clocksource=tsc"
```

Assuming that this means: "Command-line arguments to add to menu entries 
for the Linux kernel. "

Then does that mean I can use:

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

Thanks,
Roger

-- 
Founder of Polycademy & SnapSearch
http://polycademy.com
https://snapsearch.io
+61420925975



More information about the nix-dev mailing list