A tiny operating system