1/*
2 * port.xc
3 *
4 *  Created on: Jul 31, 2019
5 *      Author: mbruno
6 */
7
8//#include "rtos_support.h"
9
10extern "C" {
11
12#include "FreeRTOSConfig.h" /* to get configNUMBER_OF_CORES */
13#ifndef configNUMBER_OF_CORES
14#define configNUMBER_OF_CORES 1
15#endif
16
17void __xcore_interrupt_permitted_ugs_vPortStartSchedulerOnCore(void);
18
19} /* extern "C" */
20
21void vPortStartSMPScheduler( void )
22{
23    par (int i = 0; i < configNUMBER_OF_CORES; i++) {
24        __xcore_interrupt_permitted_ugs_vPortStartSchedulerOnCore();
25    }
26}
27