4 * Created on: Jul 31, 2019
8 //#include "rtos_support.h"
12 #include "FreeRTOSConfig.h" /* to get configNUM_CORES */
13 #ifndef configNUM_CORES
14 #define configNUM_CORES 1
17 void __xcore_interrupt_permitted_ugs_vPortStartSchedulerOnCore(void);
21 void vPortStartSMPScheduler( void )
23 par (int i = 0; i < configNUM_CORES; i++) {
24 __xcore_interrupt_permitted_ugs_vPortStartSchedulerOnCore();