Munich’s city government switched to Linux for a few years as part of a push towards open source software.
There’s some programs like One Laptop per Child that donate laptops running Linux to education programs. I think Pine64 ended up donating a chunk of their base-level Pinebooks to some schools but I can’t find a blog post that states where they donated them to.