Hi Pali, Thank you for your suggestions. > First make sure you have updated dell-wmi.c driver to last version (at > least v3.19 kernel) I experimented with multiple kernel versions, including v4.1. > and check that your ACPI code contains event WMI > GUID 9DBB5994-A997-11DA-B012-B622A1EF5492 It does - that's what I meant when I wrote "the Dell event GUID is present in the ACPI WMI object". > Then compile dell-wmi.ko driver with debug messages, so pr_debug() call > will print messages to dmesg. Press key and check if you see some info > from dell-wmi.ko in dmesg. I did that as well. Nothing appears in dmesg after pressing the hotkeys, even when dell-wmi is compiled with -DDEBUG. -- Best regards, Michał Kępień -- To unsubscribe from this list: send the line "unsubscribe platform-driver-x86" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html