1: //os.c
     2: #include "pic18.h"
     3: #include "os.h"
     4: #include "os_var.h"
     5: 
     6: interrupt HI_ISR(void);
     7: void interrupt low_priority LOW_ISR(void);
     8: void osInit(void);
     9: void osSch(void);
    10: void osCreateTask(void *taskPtr, unsigned char TaskID);
    11: 
    12: 
    13: void osTaskIdle(void);
    14: unsigned char Wr45DB041(unsigned char *,unsigned char *,unsigned char );
    15: unsigned char Rd45DB041(unsigned char *,unsigned char *,unsigned char );
    16: void task1(void);
    17: void task2(void);
    18: void main(void)
    19: {
    20:     osCreateTask(task1, 0);
    21:     osCreateTask(task2, 1);
    22:     osCreateTask(osTaskIdle, OS_TASKS);
    23:     TCB[0].osTaskState=osTaskSta_Ready ;
    24:     TCB[1].osTaskState=osTaskSta_Ready ;
    25: 
    26:     osInit();
    27:     osTaskIdle();
    28: }
    29: #include "os_core.c"
    30: void task1(void)
    31: {
    32:   while(1)
    33:  {
    34:     nop();
    35:     nop();
    36:     osDelay(8);
    37:     nop();
    38:     nop();
    39: 
    40:   }
    41: }
    42: void task2(void)
    43: {
    44:     nop();
    45:     nop();
    46:     nop();
    47:     osDelay(25);
    48:     nop();
    49:     osExitTask();
    50: }
    51: 
    52: 
    53: