From a6a496ed42dab8a4461f682848fb25542e6c7788 Mon Sep 17 00:00:00 2001
From: Joni <juve@dana-laptop.(none)>
Date: Sun, 13 Apr 2008 15:00:08 +0300
Subject: [PATCH] fix ipipe include problems. this allows compiling emc2_2.2.4

---
 .../patchset/0002-fix-ipipe-include-problems.patch |   14 ++++++++++++++
 1 files changed, 14 insertions(+), 0 deletions(-)
 create mode 100644 debian/binary-custom.d/rtai/patchset/0002-fix-ipipe-include-problems.patch

diff --git a/debian/binary-custom.d/rtai/patchset/0002-fix-ipipe-include-problems.patch b/debian/binary-custom.d/rtai/patchset/0002-fix-ipipe-include-problems.patch
new file mode 100644
index 0000000..c8b5582
--- /dev/null
+++ b/debian/binary-custom.d/rtai/patchset/0002-fix-ipipe-include-problems.patch
@@ -0,0 +1,14 @@
+--- a/include/asm-x86/ipipe.h	2008-03-26 22:31:54.000000000 +0200
++++ b/include/asm-x86/ipipe.h	2008-04-13 14:27:00.000000000 +0300
+@@ -31,6 +31,11 @@
+ #define IPIPE_PATCH_NUMBER	4
+ #endif
+ 
++#ifdef CONFIG_X86_32
++#include <linux/cpumask.h>
++#include <linux/ipipe_percpu.h>
++#endif
++
+ DECLARE_PER_CPU(struct pt_regs, __ipipe_tick_regs);
+ 
+ #ifdef CONFIG_X86_32
-- 
1.5.4.3