I have the device tree set up for gpmc. I have the pinmux defined for the FPGA. And the base address of chip select 0 is set to physical address 0x01000000. But how to I access the driver on the ARM side under linux. In otherwords what do I call to read or write to the fpga via the gpmc? An short little code snippet sure would be helpful