The installation of the system is thoroughly described in the files README and INSTALL of the distribution; we include these files verbatim below.