Sus poemas y los testimonios de Ildefonso de Toledo, además de un relato martirológico del siglo IX, son la principal fuente para conocer su biografía.