File content as of revision 1:695db1757630:

#include "problemb1.h"

Ticker debug;

void hello(void) {
    pc.printf(" Hello World\n");
  //  trig.mode(PullUp);
}

int main() {


   wait(2);

    pc.printf("ENTERING MAIN JOBS\n");
    sync.baud(460800);
    //pc.baud(9600);
  
    
    initialSetup();
    int p;

    sync.attach(&calculate_offset);
    
    // 1 PPS Code 
    pps.tv_sec = 10;
    pps.tv_usec = 700000;  
    runAtTime(&pinToggle,&pps);
    
    
    
    
    toggle =1;
    myLED = 1;
    // runAtTrigger(&p);
    //PT_INIT(&pt1);
    // PT_INIT(&pt2);
    //PT_INIT (&pt3);



//debug.attach(&pinToggle,2);
// runAtTrigger(&trigEX);
//wait(2);
//trig.mode(PullDown);
//wait(1);
//trig.mode(PullUp);
//trig.mode(PullDown);

    sync_with_master(); 
    synch.attach_us(&sync_with_master,3400000);
    
    
    
    union {
        timeval t;
        char BYTE[8];
    } ttt;


// Run at trigger for 1 hr , random values.
/*timeval onehour; 
    for (int trig_i  = 0; trig_i < 10; trig_i++) {
        onehour.tv_sec = 100 - 5*trig_i;
        onehour.tv_usec = 0; 
        runAtTime(&pinToggle,&onehour);
    }
 
*/



    /*while (1) {


        if ( serial2.readable()) {

            ttt.BYTE[0]= serial2.getc();
            ttt.BYTE[1]=serial2.getc();
            ttt.BYTE[2]=serial2.getc();
            ttt.BYTE[3]=serial2.getc();
            ttt.BYTE[4]=serial2.getc();
            ttt.BYTE[5]=serial2.getc();
            ttt.BYTE[6]=serial2.getc();
            ttt.BYTE[7]=serial2.getc();

            pc.printf("THE serial data recev %d %d \n",ttt.t.tv_sec, ttt.t.tv_usec);
            runAtTime(&pinToggle,&ttt.t);
            //   wait(2);
            // getTime(&t);
            //pc.printf(" \n Seconds = %d, usec = %d", t.tv_sec,t.tv_usec);
            // update(&pt1);
            //  scheduleRunAtTime(&pt2);
//pc.printf("WHILE IN MAIN  \n");
            //wait(1);
        }
    }*/
}