common.c 272 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
#include "system.h"
#include <stdio.h>

void task_begin(int task_no)
{
    printf("[TASK %d] Starting...\n", task_no);
    fflush(stdout);

}

void task_end(int task_no)
{
    rtems_event_send(g_init_task_id, RTEMS_EVENT_0 + task_no);
    rtems_task_delete(RTEMS_SELF);
}