A quite simple operating system for education