//#DOC Main, program entry and main loop
#include "main.h"
#include <otSerial.h>
#include <otPrintfLite.h>

void setup()
{
    UartEnableSignals(UART0);
    UartSetBaud(UART0, 115200);
    setStdout(UART0);   // printf output is now directed on UART0
}

void loop()
{
    for(int i = 0; i < 1000; i++)
        printf("i = %4d\n", i);
    printf("End of count\n");
    IDLE;
}