arm.aadl 1.07 KB
Newer Older
1 2 3 4 5 6 7 8
package ocarina_processors_arm
public

with Deployment;

processor arm
end arm;

9 10 11 12 13 14 15 16 17
processor cortex_m extends arm
properties
   Deployment::Execution_Platform => GNAT_Runtime;
end cortex_m;

processor implementation cortex_m.i
properties
   Scheduling_Protocol => (Posix_1003_Highest_Priority_First_Protocol);
   Priority_Range => 0 .. 255;
18 19
   Scheduler_Quantum => 0 Ms;
   Preemptive_Scheduler => true;
20 21
end cortex_m.i;

22 23 24 25 26 27 28
processor nds extends arm
end nds;

processor implementation nds.rtems
properties
   Scheduling_Protocol => (Posix_1003_Highest_Priority_First_Protocol);
   Priority_Range => 0 .. 255;
29 30
   Scheduler_Quantum => 0 Ms;
   Preemptive_Scheduler => true;
31 32 33 34 35 36 37 38 39 40 41
   Deployment::Execution_Platform => NDS_RTEMS;
end nds.rtems;


processor gumstix extends arm
end gumstix;

processor implementation gumstix.rtems
properties
   Scheduling_Protocol => (Posix_1003_Highest_Priority_First_Protocol);
   Priority_Range => 0 .. 255;
42 43
   Scheduler_Quantum => 0 Ms;
   Preemptive_Scheduler => true;
44 45 46 47
   Deployment::Execution_Platform => GUMSTIX_RTEMS;
end gumstix.rtems;

end ocarina_processors_arm;