Provavelmente você deve procurar os servidores Terminal, pois eles parecem perfeitamente adequados às suas necessidades. Procure por LTSP (Linux Terminal Server Project).
Uma configuração TerminalServer significa que existe apenas um sistema muito básico instalado em seus clientes (thin), e tudo que é feito realmente acontece no servidor. Dessa forma, você também pode economizar muito dinheiro nos PCs reais que seus alunos devem usar.
Um monte de escolas na Grécia usa o LTSP, como é descrito aqui: Link Talvez você possa até mesmo entrar em contato com um de seus administradores para perguntar sobre a configuração!