Commit c25434f1 authored by Maxime Perrotin's avatar Maxime Perrotin

Remove garbage in ocarina_components.aadl

parent c10906c8
......@@ -2127,7 +2127,6 @@ package ocarina_processors_arm
public
with Deployment;
with Cheddar_Properties;
processor arm
end arm;
......@@ -2142,8 +2141,6 @@ processor implementation crazyflie_v2.gnat
properties
Scheduling_Protocol => (Posix_1003_Highest_Priority_First_Protocol);
Priority_Range => 0 .. 255;
Cheddar_Properties::Scheduler_Quantum => 0 Ms;
Cheddar_Properties::Preemptive_Scheduler => true;
end crazyflie_v2.gnat;
......@@ -2157,8 +2154,6 @@ processor implementation stm32f407_discovery.gnat2017
properties
Scheduling_Protocol => (Posix_1003_Highest_Priority_First_Protocol);
Priority_Range => 0 .. 255;
Cheddar_Properties::Scheduler_Quantum => 0 Ms;
Cheddar_Properties::Preemptive_Scheduler => true;
end stm32f407_discovery.gnat2017;
processor stm32f429_discovery extends arm
......@@ -2171,37 +2166,10 @@ processor implementation stm32f429_discovery.gnat2017
properties
Scheduling_Protocol => (Posix_1003_Highest_Priority_First_Protocol);
Priority_Range => 0 .. 255;
Cheddar_Properties::Scheduler_Quantum => 0 Ms;
Cheddar_Properties::Preemptive_Scheduler => true;
end stm32f429_discovery.gnat2017;
processor nds extends arm
end nds;
-- 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;
-- 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;
-- Cheddar_Properties::Scheduler_Quantum => 0 Ms;
-- Cheddar_Properties::Preemptive_Scheduler => true;
-- Deployment::Execution_Platform => GUMSTIX_RTEMS;
-- end gumstix.rtems;
end ocarina_processors_arm;
property set Processor_Properties is
Core_Id : aadlinteger 0 .. Max_Aadlinteger applies to (virtual processor);
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment