Ich glaube, dass Linux für diese Anwendung besser geeignet ist. Der Treiber steht mit Quellcode zur Verfügung. Wenn es nötig ist, kannst du den Treiber selbst anpassen. Die beiden USB-Mäuse kann man leicht über die serial number unterscheiden.