[Xenomai] Porting Xenomai on Odroid-U3

[Arnaud Degroote <arnaud.degroote@isae.fr>]

Hi list,

I'm trying to port Xenomai on Odroid-U3. I read on the list that there
is a first try by GP Orcullo, so I start from its work.

I'm working on a 3.17.8 kernel on which I ported the Ipipe / Xenomai
patch. I validated it on two omaps platform where I don't see regression
against previous version of the patch, so I'm fairly confident that the
core part is correct. In a second time, I ported the previous effort of
GP Orcullo. The current state of the effort is available on 

https://github.com/adegroote/linux/tree/linux-stable-xenomai-odroid-3.17.y

I tested without IPIPE, and with IPIPE. Troubles start with the XENOMAI
option. Basically, the kernel seems to hangs when I load any "skin" (I
compiled them in modules to be sure). For example, 

modprobe xeno-native

prints

Xenomai: starting native API services.	

but I cannot get back the shell prompt.

>From the Troubleshooting part, I suppose something is wrong with the
ipipe_timer, but I don't have much idea where to look for. 

Can someone give me some inputs about how to trace / debug this issue
or/and quickly check if I miss something obvious in my patch.

https://github.com/adegroote/linux/commit/81c6ebeb3127efdceb3e31f9d3f1f400ecbb579f.patch

Thanks in advance. Best regards,

-- 
Arnaud Degroote
ISAE DMIA