Actually, I was recently contacted by a guy planning to port VirtualKD to Linux VM host (redirecting connections to WinDbg via TCP/IP). I have no clue whether he has any success with that, however, I can forward him your e-mail. Maybe, you can join your forces to make it work on Linux 🙂