petalogixのエラー回避方法

ただしいかどうかは知らんけど間違ってそうだけど通った。
とりあえずpetalinux-distを設定したあとに、edkをひらいてエラーがでて困ってたんだけど。どうやらライブラリがが見つからないよって感じだったので、
C:\EDK\sw\ThirdParty\bsp
にpetalogixのspartan3E500-RevDにあるedk_user_repositoryの中のpetalinux_v1_00_bをくわえてやったらEDKのエラーが消えた。とりあえず前進。やっぱMicroBlazeはバージョン6.00だった。