linux/drivers/platform/x86/tuxedo/nb04
..
Kconfig
Makefile
wmi_ab.c
wmi_util.c
wmi_util.h