A mouse does not usually need specific drivers, unless it is a special mouse, eg cordless, optical or the like.
What sort of mouse is it? With batteries?
Has he tried another mouse on the machine?
Samsung Galaxy S8 review
1995-2015: How technology has changed the world in 20 years
What’s happening in VR right now: From psychedelic art to combat therapy
Siri not working? Try these troubleshooting fixes
Synology invites you to visit them at Insomnia on 26th – 29th August. Book your tickets now and visit Synology.