Fue nombrado como "Palatii Murorum", según consta en un documento del año 878.