a simple, Unix-like teaching operating system