Secure System Design on Arm using PA-RoT