#include <reworks/event.h>
#include <reworks/tasks.h>
#include <ucore/error.h>
#include <stdio.h>

void testEvent();
static inline os_unsigned32 get_ticks_per_second( void )
{
  unsigned32 ticks_per_second;
  (void) OSClockGet( OS_TICKS_PER_SECOND_GET, &ticks_per_second );
  return ticks_per_second;
}
#define TICKS_PER_SECOND get_ticks_per_second()
unsigned32   Event_Task_id[ 6 ];             /* array of task ids */
#define Event_Task_1_Pri 99
#define Event_Task_2_Pri 98