linux-ext-xenomai.mk 671 B

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