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?
Huawei P10 review
1995-2015: How technology has changed the world in 20 years
An overview: What leading creative agencies are doing to improve diversity
New iPad, iPhone SE & Red iPhone 7 on sale now
Synology invites you to visit them at Insomnia on 26th – 29th August. Book your tickets now and visit Synology.