Miguel Rodriguez announced his new patchless kernel debugger which currently works only on x86 single processor servers. From the documentation, "It begun as an attempt to implement something similar to what is written in Adeos's nanokernel first proposal.