I always use x2x. It allows sharing of the keyboard and mouse between several machines.