----------------------------------------------------------------------
   Read ${PREFIX}/share/doc/openreg/INSTALL for details on how to
   setup OpenReg and get it started.
----------------------------------------------------------------------