Надо всетаки попробовать отметится в этом проекте и самим, добавить подержку RT-DSK образов в самом эмуляторе без ковертации в hfe