## inferno port assignment# tcp=infgamelogin port=6660	# inferno games login servicetcp=styx port=6666	# main file servicetcp=mpeg port=6667	# mpeg streamtcp=rstyx port=6668	# remote invocationtcp=infdb port=6669	# database servertcp=infweb port=6670	# inferno web servertcp=infsigner port=6671	# inferno signing servicestcp=infcsigner port=6672	# inferno countersignertcp=inflogin port=6673	# inferno credential servicetcp=infsds port=6674	# software downloadtcp=registry port=6675	# default registrytcp=internalreg port=6676	# cpupool registrytcp=infkey	port=6677	# key-changing servicetcp=infsched port=6678	# grid scheduler udp=virgil port=2202	# naming serviceudp=gossip port=2666	# gossip protocol