Does anyone know which Xilinix (bought by AMD it looks like) we need to have in order to build this?
The readme references gcc-linaro-arm-linux-gnueabihf-4.7-2012.11-20121123_linux which you can find via search, but also
XILINX_OTHER_LIB_BASE_PATH, which would indicate some other Xilinx developer tools. But no reference as to what they are.

A pointer would be appreciated.