They use Lenovo Chromebooks which are built like brick sh*thouses with proper full-travel keyboards and touchscreens.
Chromebooks work, and I am a big fan of them in education. I have a pretty good idea how hard our teachers work, and I'd hate to think of the Windows bullshit being imposed them, like it's imposed on me and my coworkers.
Chromebooks free up teachers and IT admins from Windows update administration, anti-virus software install and administration at the computer level, and from most other malware other than browser extension malware.
Google Docs is incredible and a huge step forward to the point that where possible, most of my own notes are accessible to me from anywhere I can get into my Google account.
For a child, this means they no longer have to schlep a laptop around. Just an account and a Chromebook or other thin client are needed.
I'm a big fan of Microsoft's recent changes, and generally a pretty heavy Windows user warts and all, but it's interesting that Microsoft have never been able to make say cross-machine sync'd folders work, despite pushing it for like 15 years, whereas DropBox has built a giant business from it.