blob: 4011eac154e49ee0a122aa961a74a9e934beb13a [file] [log] [blame]
/*
* FreeRTOS Kernel <DEVELOPMENT BRANCH>
* license and copyright intentionally withheld to promote copying into user code.
*/
#include "FreeRTOS.h"
#include "task.h"
BaseType_t xPortStartScheduler( void )
{
return pdTRUE;
}
void vPortEndScheduler( void )
{
}
StackType_t * pxPortInitialiseStack( StackType_t * pxTopOfStack,
TaskFunction_t pxCode,
void * pvParameters )
{
return NULL;
}
void vPortYield( void )
{
/* Save the current Context */
/* Switch to the highest priority task that is ready to run. */
vTaskSwitchContext();
/* Start executing the task we have just switched to. */
}
static void prvTickISR( void )
{
/* Interrupts must have been enabled for the ISR to fire, so we have to
* save the context with interrupts enabled. */
/* Maintain the tick count. */
if( xTaskIncrementTick() != pdFALSE )
{
/* Switch to the highest priority task that is ready to run. */
vTaskSwitchContext();
}
/* start executing the new task */
}