Debian Edu aka Skolelinux is a Linux distribution based on Debianhttp://www.linuxcompatible.org/news/story/debian_edu_6_4_beta_3_released.html
providing an out-of-the box environment of a completely configured
school network. It contains setup for a school server, PXE booting for
diskless machines, setup for installing stationary workstations and
setup for workstations that can be taken away from the school network.
I know my kids school has windows and apple OS. No linux machines deployed as workstations.
Does anyone know of a pre tertiary school that teaches on linux?