An educational operating system