Re: [Xenomai] Error while compiling I-pipe for exynos4210

2012-06-14 Thread Gilles Chanteperdrix
On 06/14/2012 08:30 AM, Mohit Jandwani wrote: > *H**ey I am trying to compile i-pipe core 3.2 for exynos 4210 board.When I > try to compile the code , this is what happens > ** exynos 420 is not supported by any I-pipe patch. You have to adapt the I-pipe kernel to get it working. The good news is,

[Xenomai] Error while compiling I-pipe for exynos4210

2012-06-13 Thread Mohit Jandwani
*H**ey I am trying to compile i-pipe core 3.2 for exynos 4210 board.When I try to compile the code , this is what happens ** ksh@ubuntu:~/xenomai$ cd ipipe ksh@ubuntu:~/xenomai/ipipe$ make ARCH=arm exynos4_defconfig HOSTCC scripts/basic/fixdep HOSTCC scripts/kconfig/conf.o SHIPPED scripts/kcon