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