You can easily do that with radare2 already. As I mentioned already it does have WinDbg protocol support and is very portable by itself. Along with WinDbg it ha

You can easily do that with radare2 already. As I mentioned already it does have WinDbg protocol support and is very portable by itself. Along with WinDbg it has support for GDB protocol. So you can run r2 on your Raspberry Pi and connect to WinDbg on your desktop and perform debugging from Raspberry Pi.