On 07/27/2016 02:09 PM, One Thousand Gnomes wrote: >> I simply thought this patch may be useful for other people as well, that's >> why I sent it upstream. > > If you set the IRQ to 0 it should poll anyway (0 means 'no IRQ') so I > don't think the option is needed. At least it seems sufficient to get me > by when I meet buggy PC BIOSes and the like That's exactly what the patch does - but if there is already a way to set the IRQ to 0, I would of course prefer to use that. It seems I haven't found the trick you're using - could you please tell me how you set the IRQ to 0? I can't change it in the BIOS, so I have to do it at the kernel level at the latest. Thanks Max -- To unsubscribe from this list: send the line "unsubscribe linux-serial" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html