[Yarden Shafir @ X] RT by @yarden_shafir: Well... It's not quite KD, but WinDbg has supported debugging the Linux kernel via an EXDI connection for some time. Easiest setup is to enable the gdbserver on QEMU and use EXDI in WinDbg selecting "Linux" as the OS. I've source level stepped the Linux kernel doing that...
https://twitter.com/wmessmer/status/1765156291729858728