A tiny instructional operating system from stanford