On Mon, Mar 9, 2015 at 10:41 AM, Kynn Jones <kyn...@gmail.com> wrote: > A log message in my /var/log/syslog file says: > > ... kernel: [ 61.599288] irq 16: nobody cared (try booting with the > "irqpoll" option) > > I imagine that booting with the "irqpoll" option is achieved by adding > a suitable entry to /boot/grub/grub.cfg, but this file clearly states > that it should not be edited directly, since it is generated > programmatically. > > I need more information to proceed, but I was not able to find any > documentation on how to boot "with the 'irqpoll' option", either > online, or by running > > # find / -name man -type d -exec grep -irl irqpoll {} \; > > on my machine as root. > > I would be thankful for pointers to the relevant docs, or for a recipe > aimed to a grub-noob.
OK, I found a solution. I'll post it here, so that the next schlub doesn't have to waste so much time as I did looking for it: % sudo gedit /etc/default/grub Change the line that sets the variable `GRUB_CMDLINE_LINUX_DEFAULT` by adding 'irqpoll' to it. E.g. in my case, this entailed changing the line GRUB_CMDLINE_LINUX_DEFAULT="quiet" to GRUB_CMDLINE_LINUX_DEFAULT="quiet irqpoll" After saving this updated file, run % sudo update-grub This should result in the rewriting of the file /boot/grub/grub.cfg. Use, e.g., % less /boot/grub/grub.cfg to confirm that the irqpoll parameter has been added to one of the GRUB menu options. Cheers, kj -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/cafvqaj6kegyxsyikxc+ol1cxcstqo4ms1lgqkbljn3b3ru7...@mail.gmail.com