Commit 1a0e9106 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files
parents f44eadbb 1820673d
...@@ -14,3 +14,5 @@ STFLASH_PATH=$(realpath "${DIR}/../stlink/build/Release") ...@@ -14,3 +14,5 @@ STFLASH_PATH=$(realpath "${DIR}/../stlink/build/Release")
PATH_CMD='export PATH=$PATH:'"${STFLASH_PATH}" PATH_CMD='export PATH=$PATH:'"${STFLASH_PATH}"
UpdatePATH UpdatePATH
sudo cp -n etc/udev/rules.d/* /etc/udev/rules.d || :
...@@ -2147,19 +2147,35 @@ properties ...@@ -2147,19 +2147,35 @@ properties
end crazyflie_v2.gnat; end crazyflie_v2.gnat;
processor stm32f4_discovery extends arm processor stm32f407_discovery extends arm
properties properties
Deployment::Execution_Platform => GNAT_Runtime; Deployment::Execution_Platform => GNAT_Runtime;
Deployment::Ada_Runtime => "stm32f407_discovery_full"; Deployment::Ada_Runtime => "stm32f407_discovery_full";
end stm32f4_discovery; end stm32f407_discovery;
processor implementation stm32f4_discovery.gnat processor implementation stm32f407_discovery.gnat2017
properties properties
Scheduling_Protocol => (Posix_1003_Highest_Priority_First_Protocol); Scheduling_Protocol => (Posix_1003_Highest_Priority_First_Protocol);
Priority_Range => 0 .. 255; Priority_Range => 0 .. 255;
Cheddar_Properties::Scheduler_Quantum => 0 Ms; Cheddar_Properties::Scheduler_Quantum => 0 Ms;
Cheddar_Properties::Preemptive_Scheduler => true; Cheddar_Properties::Preemptive_Scheduler => true;
end stm32f4_discovery.gnat; end stm32f407_discovery.gnat2017;
processor stm32f429_discovery extends arm
properties
Deployment::Execution_Platform => GNAT_Runtime;
Deployment::Ada_Runtime => "stm32f429_discovery_full";
end stm32f429_discovery;
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 processor nds extends arm
end nds; 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