OPTION psf_version = 2.1;

BEGIN driver ddrps

  OPTION supported_peripherals = (ps7_ddr);
  OPTION supported_os_types = (DTS);
  OPTION driver_state = ACTIVE;
  OPTION NAME = ddrps;
  DTGPARAM name = device_type , default = memory, type = string;
  DTGPARAM name = reg, type = hexintlist;

END driver