Raspberry Pi als Entwicklungsumgebung für Arduino

Nachtrag: schau Dir mal How to redirect serial ports from one computer to another ? | Giovanni's Blog und http://www.lspace.nildram.co.uk/freeware.html an.