<?php

function contenido(){

  printf("

<center><p><u><b><h3>
Comenzando con GNU Hurd
</h3></b></u></p>
<p>
Guias de instalación disponibles en la siguiente dirección:
</p>
<p><a href=\"http://web.walfield.org/papers/hurd-installation-guide/\">http://web.walfield.org/papers/hurd-installation-guide/</a>
</p>
<p>Puedes encontrar imágenes ISO de Debian GNU/Hurd en:
</p>	
<p><a href=\"http://www.debian.org/ports/hurd/hurd-cd\">http://www.debian.org/ports/hurd/hurd-cd</a>
</p>
</center>
<p>Vienen con una versión modificada de los disquetes de arranque de 
Debian, que hacen relativamente simple la instalación.
GNU Mach usa los drivers que se encuentran en el kernel Linux 2.0.x.
<b>Nota</b>: no hay soporte para PCMCIA. Lista de hardware soportado en:
</p>		
<center>
<p><a href=\"http://www.freesoftware.fsf.org/thug/gnumach_hardware.html\">http://www.freesoftware.fsf.org/thug/gnumach_hardware.html</a>
</p>
</center>
");
}

?>
