modname=tuxedo-drivers
modver=4.11.4-r1
built_modules="clevo_acpi.ko 		clevo_wmi.ko 		ite_8291/ite_8291.ko 		ite_8291_lb/ite_8291_lb.ko 		ite_8297/ite_8297.ko 		ite_829x/ite_829x.ko 		tuxedo_compatibility_check/tuxedo_compatibility_check.ko 		tuxedo_io/tuxedo_io.ko 		tuxedo_keyboard.ko 		tuxedo_nb02_nvidia_power_ctrl/tuxedo_nb02_nvidia_power_ctrl.ko 		tuxedo_nb04/tuxedo_nb04_kbd_backlight.ko 		tuxedo_nb04/tuxedo_nb04_keyboard.ko 		tuxedo_nb04/tuxedo_nb04_power_profiles.ko 		tuxedo_nb04/tuxedo_nb04_sensors.ko 		tuxedo_nb04/tuxedo_nb04_wmi_ab.ko 		tuxedo_nb04/tuxedo_nb04_wmi_bs.ko 		tuxedo_nb05/tuxedo_nb05_ec.ko 		tuxedo_nb05/tuxedo_nb05_kbd_backlight.ko 		tuxedo_nb05/tuxedo_nb05_keyboard.ko 		tuxedo_nb05/tuxedo_nb05_power_profiles.ko 		tuxedo_nb05/tuxedo_nb05_sensors.ko 		uniwill_wmi.ko 		"

build() {
make $MAKEFLAGS -C "$kernel_srcdir" M="$builddir" src="$srcdir"
}
