#include <xdc/std.h>
#include <xdc/runtime/System.h>

#include <ti/sysbios/BIOS.h>
#include <ti/sysbios/hal/Timer.h>
#include <xdc/cfg/global.h>

static int iCounter;

Void timerFunc(UArg arg)
{
	iCounter++;

    if(iCounter > 5)
    {
    	BIOS_exit(0);
    }
}

// ======== main ========
Void main()
{
	iCounter = 0;

    BIOS_start();

    return;
}