mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-04-19 21:11:57 -04:00
27 lines
486 B
Plaintext
27 lines
486 B
Plaintext
/*
|
|
* port.xc
|
|
*
|
|
* Created on: Jul 31, 2019
|
|
* Author: mbruno
|
|
*/
|
|
|
|
//#include "rtos_support.h"
|
|
|
|
extern "C" {
|
|
|
|
#include "FreeRTOSConfig.h" /* to get configNUM_CORES */
|
|
#ifndef configNUM_CORES
|
|
#define configNUM_CORES 1
|
|
#endif
|
|
|
|
void __xcore_interrupt_permitted_ugs_vPortStartSchedulerOnCore(void);
|
|
|
|
} /* extern "C" */
|
|
|
|
void vPortStartSMPScheduler( void )
|
|
{
|
|
par (int i = 0; i < configNUM_CORES; i++) {
|
|
__xcore_interrupt_permitted_ugs_vPortStartSchedulerOnCore();
|
|
}
|
|
}
|