for those interested into the FCSE patch, as told in the paper presented
to the XUM (but that is a detail which I forgot to mention in the
presentation), the FCSE patch was split into several parts (10 actually)
and submitted to the linux arm kernel mailing list.
You may find the post here:
If you use the patch and it works for you, now is the time to speak up!
Thanks in advance.
Xenomai-core mailing list