#include "./kernelTypes.h"

// Message boxes
const uint8 AUTOEXAMPLE_MBX_ID	= 0x00;

// Automate types
const uint8 AUTOEXAMPLE_FSM	= 0x00;

// Message types
const uint16 MSG_CHANGE_STATE	= 0x0000;
const uint16 TIMER1_EXPIRED		= 0x0001;	 

// Times
const uint16 TIMER1_ID			= 0x0000;
