Files needed for AMP configuration on ZedBoard