[pulseaudio-discuss] PulseAudio Painfully Slow

[Jan Alexander Steffens]

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 .