a simple Unix-like teaching operating system