Is anyone knows a type of processor, used in MK4? I think, it's some kind of MIPS processor. I found a page with a variety of MIPS emulators and debuggers here http://www.linux-mips.org/wiki/Emulators Maybe it can help us?