muy interesante.. nunca habia visto a alguien tratandolo de instalar..
Y perdon que te corrija pero el micronucleo es el GNU/Mach, HURD es un conjunto de servidores que funcionan alrededor de el, eso lo hace tan fuera de lo comun, y diferente a nucleos como Linux