From 25ff0c99fa50b4e13079cf550c2b715eb630d055 Mon Sep 17 00:00:00 2001 From: Waldemar Brodkorb Date: Thu, 5 Mar 2015 13:54:09 +0100 Subject: add realtime linux preempt_rt patch Enable Kernel options for Realtime, HZ and HighRes Timer in menuconfig. --- toolchain/kernel-headers/Makefile | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'toolchain/kernel-headers/Makefile') 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 @@ -61,6 +61,11 @@ ifeq ($(ADK_KERNEL_ADDON_DIETNET),y) $(TRACE) dietnet-kernel-patch $(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 $@ -- cgit v1.2.3