property set Deployment is
  Execution_Platform : enumeration (LEON_ORK) applies to (processor);
end Deployment;