Comment 29 for bug 195009

Revision history for this message
Stefan Bader (smb) wrote :

You havn't actually used those options. Sorry I was not very specific. You have to add those as kernel boot options. When grub starts (you may have to hit escape to get the menu), goto the kernel you want to use and hit 'e'. Then there are the boot arguments. Goto the one reading
"root=UUID=da2383c2-389a-457e-bd25-2c35cf1be8c2 ro quiet splash"
and change it to (for example)
"root=UUID=da2383c2-389a-457e-bd25-2c35cf1be8c2 ro quiet splash i8042.nomux=1"
Then hit enter (which brings you one level back) and then 'b' to boot with that configuration.