linux/linux-ext-rtai.mk

   1 ################################################################################
   2 #
   3 # Patch the linux kernel with RTAI extension
   4 #
   5 ################################################################################
   6
   7 LINUX_EXTENSIONS += rtai
   8
   9 ifeq ($(KERNEL_ARCH),i386)
  10 RTAI_ARCH = x86
  11 else ifeq ($(KERNEL_ARCH),x86_64)
  12 RTAI_ARCH = x86
  13 else ifeq ($(KERNEL_ARCH),powerpc)
  14 RTAI_ARCH = ppc
  15 else
  16 RTAI_ARCH = $(KERNEL_ARCH)
  17 endif
  18
  19 # Prepare kernel patch
  20 define RTAI_PREPARE_KERNEL
  21         kver=`$(MAKE) $(LINUX_MAKE_FLAGS) -C $(LINUX_DIR) --no-print-directory -s kernelversion` ; \
  22         if test -f $(RTAI_DIR)/base/arch/$(RTAI_ARCH)/patches/hal-linux-$${kver}-*patch ; then \
  23                 $(APPLY_PATCHES) $(LINUX_DIR) \
  24                         $(RTAI_DIR)/base/arch/$(RTAI_ARCH)/patches/ \
  25                         hal-linux-$${kver}-*patch ; \
  26         else \
  27                 echo "No RTAI patch for your kernel version" ; \
  28                 exit 1 ; \
  29         fi
  30 endef