Linux access to non-Linux memory

I want to write large amounts of data into DDR using the FPGA. This works, and I can store data at the required rate. I want the ARM on the C5SOC chip to be able to process that data. I have ...