Company's brochure click-here
Real-Time Linux on Freescale iMX515 processor click-here
You can also download the patch imx51rt-18.104.22.168.patch for iMX515 here and try it if you are have an iMX51 3DPDK hardware from Freescale available. You will also need a baseline 22.214.171.124 Linux kernel where you can apply the patch.
Apply the patch and build the kernel with the following instructions:
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