It already comes with a Linux. You might want to put a different flavour of Linux on it, if you care enough. It's pretty easy, at least if you are willing to boot from external media.
Hopefully the kids learns exactly this. How to get rid of the Google lock-in, and installs something that unlocks the full potential of the hardware.
Google actually has lots of documentation on how to do that.