非裸跑zynq上的SDK调试方法

有谁知道用vivado自带的SDK，去调试ZYNQ上跑的linux系统中的某个elf？裸跑的zynq调试elf很简单，但是非裸跑的怎么搞？？

现在用SD卡启动zynq没有问题，但是想调试SD卡中的某个elf文件怎么操作，没想到比较好的办法啊