################################################################################
#
# Patch the linux kernel with ev3dev extension
#
################################################################################

LINUX_EXTENSIONS += ev3dev-linux-drivers

define EV3DEV_LINUX_DRIVERS_PREPARE_KERNEL
	mkdir -p $(LINUX_DIR)/drivers/lego
	cp -dpfr $(EV3DEV_LINUX_DRIVERS_DIR)/* $(LINUX_DIR)/drivers/lego/
endef