printf("Task_1 woken\n");
status = rtems_task_wake_after( TICKS_PER_SECOND );
check_rtems_status( status, 0, "rtems_task_wake_after" );
}
printf("Task_1 woken\n");
status = rtems_task_wake_after( TICKS_PER_SECOND );
check_rtems_status( status, 0, "rtems_task_wake_after" );
}