Module: xenomai-gch Branch: for-forge Commit: 6f1a72f556b96d7ffdefb992b16cb587d3aff1b6 URL: http://git.xenomai.org/?p=xenomai-gch.git;a=commit;h=6f1a72f556b96d7ffdefb992b16cb587d3aff1b6
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