TOPSY - A Teachable Operating System. Swiss Federal Institute of Technology, Computer Engineering and Networks Laboratory