I don't think the operating system will make any difference, do you know if its an intranet network, if it is she will need a Network Interface Card (NIC card) and information from the uni IT bods on the IP addresses to use.
Xiaomi Mi Mix 2 review
What went wrong at the Designs of the Year 2017
iPhone X news: Release date, price, new features & specs
Comment créer, modifier et réinitialiser un compte Apple ?