/*
 * main.c
 */
#include <ti/sysbios/BIOS.h>
#include <ti/sysbios/knl/Task.h>

void taskMain(void)
{

}
int main(void) {
	BIOS_start();
	return 0;
}
