linux/linux-ext-xenomai.mk

   1 ################################################################################
   2 # Linux Adeos/Xenomai extensions
   3 #
   4 # Patch the linux kernel with xenomai extension
   5 ################################################################################
   6
   7 LINUX_EXTENSIONS += xenomai
   8
   9 # Adeos patch version
  10 XENOMAI_ADEOS_PATCH = $(call qstrip,$(BR2_LINUX_KERNEL_EXT_XENOMAI_ADEOS_PATCH))
  11 ifeq ($(XENOMAI_ADEOS_PATCH),)
  12 XENOMAI_ADEOS_OPTS = --default
  13 else
  14 XENOMAI_ADEOS_OPTS = --adeos=$(XENOMAI_ADEOS_PATCH)
  15 endif
  16
  17 # Prepare kernel patch
  18 define XENOMAI_PREPARE_KERNEL
  19         $(XENOMAI_DIR)/scripts/prepare-kernel.sh \
  20                 --linux=$(LINUX_DIR) \
  21                 --arch=$(KERNEL_ARCH) \
  22                 $(XENOMAI_ADEOS_OPTS) \
  23                 --verbose
  24 endef