Kaputan-u выкладывал конвертер на перле, для перевода образов DSK и AIM во внутренний формат HxC. Есть ветка на форуме HxC.
Я потихоньку допиливаю свой эмулятор, он уже читает на лету DSK и AIM кроме собственного формата.
Планирую добавить туда эмуляцию 140к привода. Чтобы 840 и 140 могли работать по очереди. Для одновременной работы нехватит производительности контроллера.
С эмуляцией AIM пока не все гладко, нужно больше тестовых образов с разными типами защиты.