Dublin Castle is the site of the inaugurations of Ireland's presidents