Generalmente cualquier distribución de Linux te puede servir perfectamente, la cuestión es obtener y configurar los paquetes adecuados correctamente.Si se trata de algo profesional, te recomiendo las versiones de pago Server de las diferentes distribuciones (Debian no tiene de esto porque no es con ánimo de lucro). Si piensas en algo más profesional aún, quizá te interese montar un cluster Linux (varios servidores en red que actúan como uno solo).
el detalles es que esta version 9 no me aparecio la opcion VGA para cambiar la Resolucion