kernel_slave.h

Go to the documentation of this file.

#ifndef __KERNEL_SLAVE_H__
#define __KERNEL_SLAVE_H__

#include "../../modules/task_control.h"

/*
 * ENABLE MODULES
 */
#define MIGRATION_ENABLED 1 


extern unsigned int ASM_SetInterruptEnable(unsigned int);
extern void ASM_SaveRemainingContext(TCB*);
extern void ASM_RunScheduledTask(TCB*);
void OS_InterruptServiceRoutine(unsigned int);

// ISR
unsigned int OS_InterruptMaskSet(unsigned int);
unsigned int OS_InterruptMaskClear(unsigned int);

void OS_Init();
void OS_Idle();

void Scheduler();

#endif