"Normal" é muito vago. Digo, são usuários que só vão usar o sistema durante um certo tempo, e apenas pra aprender ou praticar sobre ele, ou usuários regulares, que usam o sistema pra outras finalidades, e que precisam ter arquivos e configurações pessoais?
Pq isso faz toda a diferença na hora de criar os usuários. No primeiro caso, não é necessário personalizar os acessos, no máximo uma conta "aluno" pra todos os alunos é suficiente.
Já no segundo caso, cada usuário precisa ter um perfil próprio, de preferência personalizado.
De qualquer forma, a quantidade de usuários é pequena o suficiente pra dispensar a complexidade de esquemas como o LDAP.
Pergunta, esses usuários precisam ser administradores das máquinas windows?