A simple (currently incomplete) toy operating system