Why not XINU? It's a great little kernel; already exhaustively documented (Lions' Commentary style) along with its TCP/IP stack.

P.S. I still maintain a very HLL is ideal for presenting multi-processing/multi-tasking to students.