请教一下各位大神，zynq7100使用petalinux制作启动文件时，怎么配置ps动态配置pl，在配置kernel时已经选择了FPGA-Manager，最后实际上板echo bin-file > /sys/class/fpga—manager/fpga0/firmware，然后ps就卡死了。有没有大神遇到过？我记得以前是xdevcfg也可以配置，现在是没有了吗？