2016-11-01 21:15:55 -06:00
|
|
|
################################################################################
|
|
|
|
#
|
|
|
|
# Patch the linux kernel with ev3dev extension
|
2018-03-31 23:08:22 -06:00
|
|
|
#
|
2016-11-01 21:15:55 -06:00
|
|
|
################################################################################
|
|
|
|
|
|
|
|
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
|