Its quite interesting you mentioned the EEE Pc actually - I'll be making a post about it later on.
I solved the Linux ManyMouse problem by the way - aside from needing to do a sudo chmod 777 /dev/input/*, I found the order for detecting mice system was wrong - evdev system needed to come before the X11 one (as the X11 doesn't work).
I solved the Linux ManyMouse problem by the way - aside from needing to do a sudo chmod 777 /dev/input/*, I found the order for detecting mice system was wrong - evdev system needed to come before the X11 one (as the X11 doesn't work).