Linux in schools - a worked example