summaryrefslogtreecommitdiff
path: root/toolchain/kernel-headers/Makefile
diff options
context:
space:
mode:
authorWaldemar Brodkorb <wbx@openadk.org>2015-03-05 13:54:09 +0100
committerWaldemar Brodkorb <wbx@openadk.org>2015-03-05 19:35:22 +0100
commit25ff0c99fa50b4e13079cf550c2b715eb630d055 (patch)
tree94e907c8e5f6fa4fe0ec87d965091eafbdc6e611 /toolchain/kernel-headers/Makefile
parent91c96ee1dd60781fb6990c5378e48d8e0aef1c18 (diff)
add realtime linux preempt_rt patch
Enable Kernel options for Realtime, HZ and HighRes Timer in menuconfig.
Diffstat (limited to 'toolchain/kernel-headers/Makefile')
-rw-r--r--toolchain/kernel-headers/Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/toolchain/kernel-headers/Makefile b/toolchain/kernel-headers/Makefile
index 1d24d3853..0a935d58a 100644
--- a/toolchain/kernel-headers/Makefile
+++ b/toolchain/kernel-headers/Makefile
@@ -62,6 +62,11 @@ ifeq ($(ADK_KERNEL_ADDON_DIETNET),y)
$(PATCH) $(TOOLCHAIN_BUILD_DIR)/w-$(PKG_NAME)-$(PKG_VERSION)-$(PKG_RELEASE)/linux-$(KERNEL_VERSION) \
$(ADK_TOPDIR)/target/linux/patches/$(KERNEL_VERSION) patch-dietnet $(MAKE_TRACE)
endif
+ifeq ($(ADK_KERNEL_ADDON_LINUXRT),y)
+ $(TRACE) linux-rt-kernel-patch
+ $(PATCH) $(TOOLCHAIN_BUILD_DIR)/w-$(PKG_NAME)-$(PKG_VERSION)-$(PKG_RELEASE)/linux-$(KERNEL_VERSION) \
+ $(ADK_TOPDIR)/target/linux/patches/$(KERNEL_VERSION) patch-linuxrt $(MAKE_TRACE)
+endif
touch $@
$(WRKBUILD)/.headers: $(TOOLCHAIN_BUILD_DIR)/w-$(PKG_NAME)-$(PKG_VERSION)-$(PKG_RELEASE)/linux-$(KERNEL_VERSION)/.patched