А как же GDB JTAG от Ronetix -> и незабвенный BDI2000 --> (там даже 3000 появился) Все они хвастаются отладкой ядра Линуха с поддержкой MMU и пр. Насчет нормального симулятора - это да. Давно пора что-то типа skyeye портировать под Win32. Без Cygwin http://www.abatron.ch/products/debugger-support/gnu-support.html
http://www.ronetix.at/
конечно.
http://www.skyeye.org