Chromebooks are a thing, and are extremely popular
for really small amounts of "extremely"
(outside US K-12 they are hardly a thing)
I have lots of criticisms of Chrome OS, but the fact is that the year of Linux on the Desktop has arrived. You buy one of these machines, and out of the box you can have Linux apps (and a terminal) running within 15 minutes of switching the machine on.
Schools I know are using Windows laptops or iPads.