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;