We are also using Inferno as a platform for our distributed systems lab (a 3rd year course). http://gsyc.escet.urjc.es/docencia/asignaturas/ampliacion_ssoo