1################################################################################ 2# 3# Patch the linux kernel with ev3dev extension 4# 5################################################################################ 6 7LINUX_EXTENSIONS += ev3dev-linux-drivers 8 9define EV3DEV_LINUX_DRIVERS_PREPARE_KERNEL 10 mkdir -p $(LINUX_DIR)/drivers/lego 11 cp -dpfr $(EV3DEV_LINUX_DRIVERS_DIR)/* $(LINUX_DIR)/drivers/lego/ 12endef 13