Minix es otro sistema operativo para docencia, muy usado, y que contiene una implementación de TCP/IP.