#include <rtx51tny.h>

sfr P1 = 0x90;

sbit LED0 = P1^1;
sbit LED1 = P1^0;

#define DELAY_HALF_SEC  {
                        os_wait2 (K_TMO, 250);
                        os_wait2 (K_TMO, 250);
                        }


void job0 (void) _task_ 0
{
os_create_task (1);

while (1)
  {
  LED0 ^= 1;
  DELAY_HALF_SEC
  }
}


void job1 (void) _task_ 1
{
while (1)
  {
  LED1 ^= 1;
  DELAY_HALF_SEC
  DELAY_HALF_SEC
  }
}