linux/linux-ext-xenomai.mk

   1 ################################################################################
   2 # Linux Adeos/Xenomai extensions
   3 #
   4 # Patch the linux kernel with xenomai extension
   5 ################################################################################
   6
   7 ifeq ($(BR2_LINUX_KERNEL_EXT_XENOMAI),y)
   8 # Add dependency to xenomai (user-space) which provide ksrc part
   9 LINUX_DEPENDENCIES += xenomai
  10
  11 # Adeos patch version
  12 XENOMAI_ADEOS_PATCH = $(call qstrip,$(BR2_LINUX_KERNEL_EXT_XENOMAI_ADEOS_PATCH))
  13 ifeq ($(XENOMAI_ADEOS_PATCH),)
  14 XENOMAI_ADEOS_OPT = --default
  15 else
  16 XENOMAI_ADEOS_OPT = --adeos=$(XENOMAI_ADEOS_PATCH)
  17 endif
  18
  19 # Prepare kernel patch
  20 define XENOMAI_PREPARE_KERNEL
  21         $(XENOMAI_DIR)/scripts/prepare-kernel.sh \
  22                 --linux=$(LINUX_DIR) \
  23                 --arch=$(KERNEL_ARCH) \
  24                 $(XENOMAI_ADEOS_OPT) \
  25                 --verbose
  26 endef
  27
  28 LINUX_PRE_PATCH_HOOKS += XENOMAI_PREPARE_KERNEL
  29
  30 endif #BR2_LINUX_EXT_XENOMAI