Buda Castle is the formal, representative royal residence of Hungary.