A simple UNIX-like operating system