Read DDR to file using HPS2FPGA

Hi! I am using the Arrow CV SoCKit, My aim is to sample ADC data (via the HSMC connector and an external adc board) into the FPGA side DDR, then read the results into the HPS using the HPS2FPGA...