Su nombre aparece citado en un texto de Eginardo (nacido hacia 775 y fallecido en 840), el biógrafo de Carlomagno.