Thanks for the specification Parallella Team!
It clarifies many issues, although it severely lacks in some areas (especially power consumption i.e. how much performance can we get from usb power supply - but I understand that still needs many tests to measure).
What I'm particularly interested is the clock resources - what oscillators and external PLLs (if any) are present, how are the chips clocked (is Epiphany 800M clock generated using Zynq internal PLLs?)