Hi, what is the difference between _SMP_Processor_count and rtems_configuration_smp_maximum_processors? Why do we need both? In case we really need rtems_configuration_smp_maximum_processors, why is it not a part of Configuration? Have a nice day!