diff options
| author | Waldemar Brodkorb <wbx@openadk.org> | 2015-03-05 13:54:09 +0100 |
|---|---|---|
| committer | Waldemar Brodkorb <wbx@openadk.org> | 2015-03-05 19:35:22 +0100 |
| commit | 25ff0c99fa50b4e13079cf550c2b715eb630d055 (patch) | |
| tree | 94e907c8e5f6fa4fe0ec87d965091eafbdc6e611 /toolchain/kernel-headers | |
| parent | 91c96ee1dd60781fb6990c5378e48d8e0aef1c18 (diff) | |
add realtime linux preempt_rt patch
Enable Kernel options for Realtime, HZ and HighRes Timer
in menuconfig.
Diffstat (limited to 'toolchain/kernel-headers')
| -rw-r--r-- | toolchain/kernel-headers/Makefile | 5 |
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 |