>You can verify whether the parameter was added by reading /proc/cmdline . localhost ~ $ cat /proc/cmdline root=/dev/sda3 \efi\boot\vmlinuz-3.15.3-gentoo_ctm.efi intel_iommu=igfx_off Thanks. Yeps, its added. On 14 July 2014 01:13, Jan Alexander Steffens <jan.steffens at gmail.com> wrote: > On Mon, Jul 14, 2014 at 10:04 AM, Benny de von Ausfern > <benny4556 at gmail.com> wrote: > >>Please add this to the kernel command line to work around the kernel bug: > >>intel_iommu=igfx_off > > > > I am not sure if I added the kernel command line properly. The reason is > > that I am new to EFI bootloader and I'm not really sure how to configure > > reFind to do that, but I tried. > > You can verify whether the parameter was added by reading /proc/cmdline . > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.freedesktop.org/archives/pulseaudio-discuss/attachments/20140714/01b2e7f7/attachment.html>