Does she actually need Linux or is using a unixoid OS fine? A lot of the time installing homebrew (or whatever the package manager was called) on MacOS can suffice for several use cases.
Other than that, if you're not needing apple exclusive software on it, installing Linux on the Macbook can be a good option.
If you definitely want virtualization, go with VirtualBox