We managed fine with crappy old Windows XP Thinkpads in elementary school. Modern Linux is far easier, and I'm saying the slight challenge would be educational.