Habría derrotado a Carlomagno en la Segunda Batalla de Roncesvalles (808).