Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
7131586b
Commit
7131586b
authored
Jul 23, 2017
by
yoogx
Browse files
* Use default properties instead of Cheddar_Properties
For openaadl/ocarina#105
parent
596ccbb4
Changes
3
Hide whitespace changes
Inline
Side-by-side
resources/AADLv2/components/processors/arm.aadl
View file @
7131586b
package
ocarina_processors_arm
public
with
Deployment
;
with
Cheddar_Properties
;
processor
arm
end
arm
;
...
...
@@ -17,8 +15,8 @@ processor implementation cortex_m.i
properties
Scheduling_Protocol
=>
(
Posix_1003_Highest_Priority_First_Protocol
);
Priority_Range
=>
0
..
255
;
Cheddar_Properties
::
Scheduler_Quantum
=>
0
Ms
;
Cheddar_Properties
::
Preemptive_Scheduler
=>
true
;
Scheduler_Quantum
=>
0
Ms
;
Preemptive_Scheduler
=>
true
;
end
cortex_m
.
i
;
processor
nds
extends
arm
...
...
@@ -28,8 +26,8 @@ processor implementation nds.rtems
properties
Scheduling_Protocol
=>
(
Posix_1003_Highest_Priority_First_Protocol
);
Priority_Range
=>
0
..
255
;
Cheddar_Properties
::
Scheduler_Quantum
=>
0
Ms
;
Cheddar_Properties
::
Preemptive_Scheduler
=>
true
;
Scheduler_Quantum
=>
0
Ms
;
Preemptive_Scheduler
=>
true
;
Deployment
::
Execution_Platform
=>
NDS_RTEMS
;
end
nds
.
rtems
;
...
...
@@ -41,8 +39,8 @@ processor implementation gumstix.rtems
properties
Scheduling_Protocol
=>
(
Posix_1003_Highest_Priority_First_Protocol
);
Priority_Range
=>
0
..
255
;
Cheddar_Properties
::
Scheduler_Quantum
=>
0
Ms
;
Cheddar_Properties
::
Preemptive_Scheduler
=>
true
;
Scheduler_Quantum
=>
0
Ms
;
Preemptive_Scheduler
=>
true
;
Deployment
::
Execution_Platform
=>
GUMSTIX_RTEMS
;
end
gumstix
.
rtems
;
...
...
resources/AADLv2/components/processors/leon.aadl
View file @
7131586b
package
ocarina_processors_leon
public
with
Deployment
;
with
Cheddar_Properties
;
processor
leon
end
leon
;
...
...
@@ -12,8 +10,8 @@ processor implementation leon.rtems
properties
Scheduling_Protocol
=>
(
Posix_1003_Highest_Priority_First_Protocol
);
Priority_Range
=>
0
..
255
;
Cheddar_Properties
::
Scheduler_Quantum
=>
0
Ms
;
Cheddar_Properties
::
Preemptive_Scheduler
=>
true
;
Scheduler_Quantum
=>
0
Ms
;
Preemptive_Scheduler
=>
true
;
Deployment
::
Execution_Platform
=>
LEON_RTEMS
;
end
leon
.
rtems
;
...
...
@@ -21,8 +19,8 @@ processor implementation leon.rtems_posix
properties
Scheduling_Protocol
=>
(
Posix_1003_Highest_Priority_First_Protocol
);
Priority_Range
=>
0
..
255
;
Cheddar_Properties
::
Scheduler_Quantum
=>
0
Ms
;
Cheddar_Properties
::
Preemptive_Scheduler
=>
true
;
Scheduler_Quantum
=>
0
Ms
;
Preemptive_Scheduler
=>
true
;
Deployment
::
Execution_Platform
=>
LEON_RTEMS_POSIX
;
end
leon
.
rtems_posix
;
...
...
resources/ocarina_config.aadl
View file @
7131586b
...
...
@@ -28,7 +28,6 @@ property set Ocarina_Config is
Data_Model : constant aadlstring => "Data_Model";
Deployment : constant aadlstring => "Deployment";
Cheddar_Properties : constant aadlstring => "Cheddar_Properties";
POK_Properties : constant aadlstring => "pok_properties";
ARINC653_Properties : constant aadlstring => "arinc653";
ASSERT_Properties : constant aadlstring => "ASSERT_Properties";
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment