Hi, we are using xenomai/ipipe on the imx6/7 platform. We were happy to see progress on the fec driver support in Xenomai 3.2 and ported / tested it on our hardware. Since it worked very well here is the patchset to activate it for 32 Bit platforms and to fix out of tree builds for this module. Would be nice if it could also make it to the stable xenomai 3.2 branch.
Thanks in advance, Gunter
