多ELF调试的问题

wxMidnight

缘起：
用skyeye来模拟执行L4:istachio NICTA 的 arm版本，但是装载image后，无法调试。

采用过两款skyeye，1.2 RC及0.7x版本
1.2RC版本不知道如何加载调试信息，L4:istachio NICTA boot dice image无调试信息。

0.7x版本先加载boot dice image，然后用symbol-file加载调试符号信息，但只能加载一个ELF调试信息（如hello root-server或者kernel），但设置断点后无法跟踪停留下来。应该是ELF文件被重定位了吧。

这个有什么解决办法吗？