Commit 99326640 authored by Maxime Perrotin's avatar Maxime Perrotin

Define ARM supported platforms

parent 2c2360ee
......@@ -8,18 +8,34 @@ with Cheddar_Properties;
processor arm
end arm;
processor cortex_m extends arm
processor crazyflie_v2 extends arm
properties
Deployment::Execution_Platform => GNAT_Runtime;
end cortex_m;
Deployment::Ada_Runtime => "crazyflie_full";
end crazyflie_v2;
processor implementation cortex_m.i
processor implementation crazyflie_v2.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;
end cortex_m.i;
end crazyflie_v2.i;
processor stm32f4_discovery extends arm
properties
Deployment::Execution_Platform => GNAT_Runtime;
Deployment::Ada_Runtime => "stm32f407_discovery";
end stm32f4_discovery;
processor implementation stm32f4_discovery.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;
end stm32f4_discovery.i;
processor nds extends arm
end nds;
......
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