2013-06-07 04:13:46 -06:00
|
|
|
################################################################################
|
2011-09-17 14:22:52 -06:00
|
|
|
#
|
2018-03-31 23:08:22 -06:00
|
|
|
# Patch the linux kernel with Adeos/Xenomai extension
|
|
|
|
#
|
2013-06-07 04:13:46 -06:00
|
|
|
################################################################################
|
2011-09-17 14:22:52 -06:00
|
|
|
|
2015-03-14 08:25:21 -06:00
|
|
|
LINUX_EXTENSIONS += xenomai
|
2011-09-17 14:22:52 -06:00
|
|
|
|
|
|
|
# Adeos patch version
|
|
|
|
XENOMAI_ADEOS_PATCH = $(call qstrip,$(BR2_LINUX_KERNEL_EXT_XENOMAI_ADEOS_PATCH))
|
|
|
|
ifeq ($(XENOMAI_ADEOS_PATCH),)
|
2014-09-27 13:32:50 -06:00
|
|
|
XENOMAI_ADEOS_OPTS = --default
|
2011-09-17 14:22:52 -06:00
|
|
|
else
|
2014-09-27 13:32:50 -06:00
|
|
|
XENOMAI_ADEOS_OPTS = --adeos=$(XENOMAI_ADEOS_PATCH)
|
2011-09-17 14:22:52 -06:00
|
|
|
endif
|
|
|
|
|
|
|
|
# Prepare kernel patch
|
|
|
|
define XENOMAI_PREPARE_KERNEL
|
|
|
|
$(XENOMAI_DIR)/scripts/prepare-kernel.sh \
|
|
|
|
--linux=$(LINUX_DIR) \
|
|
|
|
--arch=$(KERNEL_ARCH) \
|
2014-09-27 13:32:50 -06:00
|
|
|
$(XENOMAI_ADEOS_OPTS) \
|
2011-09-17 14:22:52 -06:00
|
|
|
--verbose
|
|
|
|
endef
|