Inferno Ports

Here are documents related to the ports of Inferno to various platforms, architectures and systems.