How to set grub options?

My laptop has a problem where the keyboard is not responding for an arbitrary amount of time after boot and suspend. I’d like to to try a suggest fix where one would set the i8042.dumbkbd=1 grub option - but I just realised that I actually don’t know where to add this stuff…

I found this line in the grub.nix expression but I’m not sure if that is the option I need.

i8042.dumbkbd is actually a kernel parameter, not a grub option, so you can set it by including something like

boot.kernelParams = [ "i8042.dumbkbd=1" ];

in your configuration.nix.

Ah. :joy:
Well that was simple :smiley: thank you so much!