A very old royal palace in Asturias

I had a great day with my family in Oviedo.
This is a palace built in the 9th century which was later used as a church, hence its name, Santa Maria del Naranco.