Wifi enabled Arduboy dev kit

int main(void)
{
    application_init();

    //Standard Arduino function
    setup();

    TCA0.SINGLE.PER = ~0;
    while(gKeepGoing)
    {
        gReportedVerts = 0;
        TCA0.SINGLE.CTRLA |= (TCA_SINGLE_CLKSEL_DIV1024_gc) | (TCA_SINGLE_ENABLE_bm);

        //Standard Arduino function
        loop();

        TCA0.SINGLE.CTRLA &= ~TCA_SINGLE_ENABLE_bm;
        gCycleCount = TCA0.SINGLE.CNT;
        TCA0.SINGLE.CNT = 0;

        runScheduler();
    }

    return 0;
}