Dear IMX List,
I am quite happy to post to the imx community the Linux kernel real-time patch for IMX51 Freescale SoC, version 22.214.171.124. I did some tests on IMX51 3DSTACK PDK board and wrote a small report too. Please feel free to send your comments.
tar fx linux-126.96.36.199.tar.bz2
bunzip2 -c ../imx51rt-188.8.131.52.patch.bz2 | patch -p1
make O=../output mx51rt-3dpdk_defconfig
make O=../output uImage