Alexey Galakhov wrote:
> Hi,
> 
> I'm trying to run Xenomai on MINI2440 board. I use vanilla 2.6.35.9
> kernel patched with adeos-ipipe-2.6.35.9-arm-1.18-01.patch . In kernel
> configuration Xenomai is disabled, the only option (except debug) I
> turned on is CONFIG_IPIPE. It hangs.
> 
> I suspect it is somehow related to TIMER3 which is used along with
> TIMER4 on Samsung ARMs. Any suggestions?

There was a bug some time ago, which was fixed for TIMER3, see commit:
http://git.xenomai.org/?p=ipipe-gch.git;a=commit;h=ebf2fac4298e25509ba47942b9fad408dcefce1e

But I think your problem has more to do with the following commit, could
you try reverting it?
http://git.xenomai.org/?p=ipipe-gch.git;a=commitdiff;h=6ab29d9c7a4b119f45ef4d93780e894fe1c0c6c6;hp=cd9c5e016092258d4450e137be2d0844d0fe8b38

The same issue was reported on ixp4xx.

-- 
                                            Gilles.

_______________________________________________
Adeos-main mailing list
Adeos-main@gna.org
https://mail.gna.org/listinfo/adeos-main

Reply via email to