1# 2# inferno port assignment 3# 4 5tcp=infgamelogin port=6660 # inferno games login service 6tcp=styx port=6666 # main file service 7tcp=mpeg port=6667 # mpeg stream 8tcp=rstyx port=6668 # remote invocation 9tcp=infdb port=6669 # database server 10tcp=infweb port=6670 # inferno web server 11tcp=infsigner port=6671 # inferno signing services 12tcp=infcsigner port=6672 # inferno countersigner 13tcp=inflogin port=6673 # inferno credential service 14tcp=infsds port=6674 # software download 15tcp=registry port=6675 # default registry 16tcp=internalreg port=6676 # cpupool registry 17tcp=infkey port=6677 # key-changing service 18tcp=infsched port=6678 # grid scheduler 19 20udp=virgil port=2202 # naming service 21udp=gossip port=2666 # gossip protocol 22