package processors 

public


processor cpu_fp
  properties
    Scheduling_Protocol=>POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL;
end cpu_fp;

 

processor cpu_rm
  properties
    Scheduling_Protocol=>RM;
end cpu_rm;






end processors;