Add gnat2020 target and move to rcc r9

misc/aadl-library/ocarina_components.aadl

@@ -2344,13 +2344,13 @@ properties
    Deployment::Ada_Runtime => "stm32f407_discovery_full";
 end stm32f407_discovery;
 
-processor implementation stm32f407_discovery.gnat2017
+processor implementation stm32f407_discovery.gnat2020
 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;
+end stm32f407_discovery.gnat2020;
 
 processor stm32f429_discovery extends arm
 properties
@@ -2358,13 +2358,13 @@ properties
    Deployment::Ada_Runtime => "stm32f429_discovery_full";
 end stm32f429_discovery;
 
-processor implementation stm32f429_discovery.gnat2017
+processor implementation stm32f429_discovery.gnat2020
 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;
+end stm32f429_discovery.gnat2020;
 
 
 
@@ -2477,45 +2477,45 @@ end gr740.rtems51_posix;
 
 -- GAISLER targets
 
-processor implementation leon3.rcc13rc5_posix
+processor implementation leon3.rcc13rc9_posix
 properties
    Scheduling_Protocol => (Posix_1003_Highest_Priority_First_Protocol);
    Priority_Range => 0 .. 255;
    Scheduler_Quantum => 0 Ms;
    Preemptive_Scheduler => true;
    Deployment::Execution_Platform => LEON_RTEMS_POSIX;
-   EnvVars => "RTEMS_MAKEFILE_PATH_LEON=/opt/rcc-1.3-rc5-gcc/sparc-gaisler-rtems5/leon3";
-end leon3.rcc13rc5_posix;
+   EnvVars => "RTEMS_MAKEFILE_PATH_LEON=/opt/rcc-1.3-rc9-gcc/sparc-gaisler-rtems5/leon3";
+end leon3.rcc13rc9_posix;
 
-processor implementation gr712rc.rcc13rc5_posix
+processor implementation gr712rc.rcc13rc9_posix
 properties
    Scheduling_Protocol => (Posix_1003_Highest_Priority_First_Protocol);
    Priority_Range => 0 .. 255;
    Scheduler_Quantum => 0 Ms;
    Preemptive_Scheduler => true;
    Deployment::Execution_Platform => LEON_RTEMS_POSIX;
-   EnvVars => "RTEMS_MAKEFILE_PATH_LEON=/opt/rcc-1.3-rc5-gcc/sparc-gaisler-rtems5/gr712rc_smp:CFLAGS=-DCONFIGURE_SMP_APPLICATION -DCONFIGURE_MAXIMUM_PROCESSORS=2 ";
-end gr712rc.rcc13rc5_posix;
+   EnvVars => "RTEMS_MAKEFILE_PATH_LEON=/opt/rcc-1.3-rc9-gcc/sparc-gaisler-rtems5/gr712rc_smp:CFLAGS=-DCONFIGURE_SMP_APPLICATION -DCONFIGURE_MAXIMUM_PROCESSORS=2 ";
+end gr712rc.rcc13rc9_posix;
 
-processor implementation n2x.rcc13rc5_posix
+processor implementation n2x.rcc13rc9_posix
 properties
    Scheduling_Protocol => (Posix_1003_Highest_Priority_First_Protocol);
    Priority_Range => 0 .. 255;
    Scheduler_Quantum => 0 Ms;
    Preemptive_Scheduler => true;
    Deployment::Execution_Platform => LEON_RTEMS_POSIX;
-   EnvVars => "RTEMS_MAKEFILE_PATH_LEON=/opt/rcc-1.3-rc5-gcc/sparc-gaisler-rtems5/leon3_smp:CFLAGS=-DCONFIGURE_SMP_APPLICATION -DCONFIGURE_MAXIMUM_PROCESSORS=4 ";
-end n2x.rcc13rc5_posix;
+   EnvVars => "RTEMS_MAKEFILE_PATH_LEON=/opt/rcc-1.3-rc9-gcc/sparc-gaisler-rtems5/leon3_smp:CFLAGS=-DCONFIGURE_SMP_APPLICATION -DCONFIGURE_MAXIMUM_PROCESSORS=4 ";
+end n2x.rcc13rc9_posix;
 
-processor implementation gr740.rcc13rc5_posix
+processor implementation gr740.rcc13rc9_posix
 properties
    Scheduling_Protocol => (Posix_1003_Highest_Priority_First_Protocol);
    Priority_Range => 0 .. 255;
    Scheduler_Quantum => 0 Ms;
    Preemptive_Scheduler => true;
    Deployment::Execution_Platform => LEON_RTEMS_POSIX;
-   EnvVars => "RTEMS_MAKEFILE_PATH_LEON=/opt/rcc-1.3-rc5-gcc/sparc-gaisler-rtems5/gr740_smp:CFLAGS=-DCONFIGURE_SMP_APPLICATION -DCONFIGURE_MAXIMUM_PROCESSORS=4 -DGRLEON3 -DLEON3 ";
-end gr740.rcc13rc5_posix;
+   EnvVars => "RTEMS_MAKEFILE_PATH_LEON=/opt/rcc-1.3-rc9-gcc/sparc-gaisler-rtems5/gr740_smp:CFLAGS=-DCONFIGURE_SMP_APPLICATION -DCONFIGURE_MAXIMUM_PROCESSORS=4 -DGRLEON3 -DLEON3 ";
+end gr740.rcc13rc9_posix;
 
 --   processor implementation leon.ork
 --   properties