Has anyone looked at using ELDK 5.4 with the ZedBoard? I'm considering using it for the second core in a ZedBoard AMP configuration. Supposedly that ELDK version would supports the Cortex A9 processors, but I don't see a board support package for any Zynq-based board.