Hi Rob,
Yes we do this all the time. I’ve asked Bush to post the device tree instructions for it in the wiki and link back to here. You can use /dev/mem for basic access from Linux or /dev/uio for access and interrupt service.
One thing to keep in mind is cache coherency. Probably the most straightforward approach without digging too deep is to use the AXI ACP port for your DDR accesses from PL but this comes with a cost since the cache snoop unit is shared with the CPUs.
Hold tight and we will get the notes posted to the wiki.
-Jamil