leon.aadl 334 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
package ocarina_processors_leon

public

with Deployment;

processor leon
end leon;

processor implementation leon.rtems
properties
   Deployment::Execution_Platform => LEON_RTEMS;
end leon.rtems;

processor implementation leon.ork
properties
   Deployment::Execution_Platform => LEON_ORK;
end leon.ork;

end ocarina_processors_leon;