O documento discute o sistema operacional Linux, software livre e ferramentas educacionais disponíveis no Linux. Explica que o Linux foi desenvolvido por Linus Torvalds em 1991 e hoje existe diversas distribuições criadas por empresas e projetos de comunidades. Também define software livre como software que pode ser usado, copiado e modificado livremente, geralmente acompanhado de uma licença que permite isso. Finalmente, lista vários programas educacionais disponíveis no Linux.