leon.aadl 565 Bytes
Newer Older
1
package ocarina_processors_leon
2
3
4

public

5
with Deployment;
6
with Cheddar_Properties;
7
8
9
10

processor leon
end leon;

11
processor implementation leon.rtems
12
13
14
15
16
properties
   Scheduling_Protocol => (Posix_1003_Highest_Priority_First_Protocol);
   Priority_Range => 0 .. 255;
   Cheddar_Properties::Scheduler_Quantum => 0 Ms;
   Cheddar_Properties::Preemptive_Scheduler => true;
17
   Deployment::Execution_Platform => LEON_RTEMS;
18
19
end leon.rtems;

20
21
22
processor implementation leon.ork
properties
   Deployment::Execution_Platform => LEON_ORK;
23
end leon.ork;
24

25
end ocarina_processors_leon;