For those of you who showed interest in the jtag, it is finished now (still beta, though). It fully supports acid (and some). You can stop a kernel (directly, via breakpoints or catching interrupts), look at its memory, change it, change its registers... Looking for testers, it is in contrib/paurea/jtag.tgz.
G.