Module: xenomai-gch
Branch: for-forge
Commit: 244536c41b5ae2ffe17a7fdeec3afedeab394269
URL:    
http://git.xenomai.org/?p=xenomai-gch.git;a=commit;h=244536c41b5ae2ffe17a7fdeec3afedeab394269

Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org>
Date:   Wed Nov  5 23:55:10 2014 +0100

cobalt/arm: fixup for kernel 3.16

---

 kernel/cobalt/arch/arm/include/asm/xenomai/machine.h |    7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/kernel/cobalt/arch/arm/include/asm/xenomai/machine.h 
b/kernel/cobalt/arch/arm/include/asm/xenomai/machine.h
index a819768..d6e965f 100644
--- a/kernel/cobalt/arch/arm/include/asm/xenomai/machine.h
+++ b/kernel/cobalt/arch/arm/include/asm/xenomai/machine.h
@@ -28,7 +28,12 @@
 
 #define XNARCH_HOST_TICK_IRQ __ipipe_hrtimer_irq
 
-#include <asm/system.h>
+#include <asm/barrier.h>
+#include <asm/compiler.h>
+#include <asm/cmpxchg.h>
+#include <asm/switch_to.h>
+#include <asm/system_info.h>
+#include <asm/system_misc.h>
 #include <asm/timex.h>
 #include <asm/processor.h>
 #include <asm/ipipe.h>


_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git

Reply via email to