What the difference between github source parth FreeRTOS and FreeRTOS-Kernel

Hi, Dear Richard Barry,

My name is Du Lei, an engineer from a chip company of China. Grateful for your answer to my question.

Currently, we want to use the Freertos SMP version ( github.com.FreeRTOS.FreeRTOS-Kernel .tree.smp) to run on our dual-core chip (ARC EM22FS). I noticed that Freertos SMP version currently is only a development branch. Can we develop products based on this branch ? Are there any other commercial products that already use Freertos SMP?

Best Regards, Sincerely,
Du Lei