Amigo cualquier distribucion basada en debian linux le sirve si en procesador es 64bit le funciona casi cualciera puedes probar zorin os lite o core para esa maquina o ubuntu begui, sparki linux, hay uns gran catidad de distribuciones que se pueden probar en modo live cosa que windows no se puede hacer y probar cual le queda mejor en cuanto a driver