GR712 has 2, not 4 cores

0b82296b · Thanassis Tsiodras · d14604e3 · 0b82296b
Commit 0b82296b authored Sep 21, 2017 by Thanassis Tsiodras
--- a/misc/supported-platforms/ocarina_components.aadl
+++ b/misc/supported-platforms/ocarina_components.aadl
@@ -2250,7 +2250,7 @@ properties
   Scheduler_Quantum => 0 Ms;
   Preemptive_Scheduler => true;
   Deployment::Execution_Platform => LEON_RTEMS_POSIX;
-   EnvVars => "RTEMS_MAKEFILE_PATH_LEON=/opt/rtems-4.12-2017.07.17/sparc-rtems4.12/gr712rc:CFLAGS=-DCONFIGURE_SMP_APPLICATION -DCONFIGURE_MAXIMUM_PROCESSORS=4 ";
+   EnvVars => "RTEMS_MAKEFILE_PATH_LEON=/opt/rtems-4.12-2017.07.17/sparc-rtems4.12/gr712rc:CFLAGS=-DCONFIGURE_SMP_APPLICATION -DCONFIGURE_MAXIMUM_PROCESSORS=2 ";
 end gr712.rtems412_posix;

 processor implementation gr740.rtems412_posix