Hola
Vaya, dónde andarás buscando para no encontrar nada acerca de IOS, el sistema operativo de Cisco para sus dispositivos,
http://www.cisco.com/warp/public/732/ciscoios.html puedes encontrar info.
Sobre Inferno, no estoy muy seguro pero creo que la página oficial es
http://www.vitanuova.com/
Respecto al otro, no lo conozco pero seguro que en google encuentras mucha info.
Saludos,