nanos, a simple Unix-like teaching operating system