New Post: could I debug kernel outside of Windbg?

I have a look to code from changeset/85045,. Local kernel debugging is supported. You simply call attachKernel without argument.
If you can not build pykd yourself, write to me to pykd.codeplex@hotmail.com and I will make you private build.