File content as of revision 9:7ff6d75cc09e:

#include "mbed.h"
#include "HK_MAIN.h"
#include "all_funcs.h"
#include "Flags.h"

extern Serial hk_main(USBTX, USBRX);

void FCTN_HK_MAIN()
{
    hk_main.printf("\rin FCTN_CDMS_HK_MAIN()\r\n");
    FCTN_MASTER_I2C('h' , hk_i2c_data ); //BAE hk data is collected
    FCTN_CDMS_RD_RTC(rtc_data);  //RTC data is read to the rtc_data.
    for(int i=(hk_count%(HK_ITER+1))*(HK_DATA+8);i<(hk_count%(HK_ITER+1))*(HK_DATA+8)+8;i++)
    {
        hk_data[i] = rtc_data[i-(hk_count%(HK_ITER+1))*(HK_DATA+8)];
    }
    for(int i=(hk_count%(HK_ITER+1))*(HK_DATA+8)+8;i<(hk_count%(HK_ITER+1))*(HK_DATA+8)+8+HK_DATA;i++)
    {
        hk_data[i] = hk_i2c_data[i-(hk_count%(HK_ITER+1))*(HK_DATA+8)+8];
    }
    hk_count++;
    if(hk_count%HK_ITER==0)
    {
        for(int i=(hk_count%(HK_ITER+1))*(HK_DATA+8)+8+HK_DATA;i<512;i++)
        {
            hk_data[i] = '/0';
        }
        hk_count = 0;
        FCTN_WR_SD(hk_data,hk_block_number); // HK data is written to the SD card 
        for(int i=0;i<512;i++)
        {
            hk_data[i] = '/0';
        }
        FCTN_RD_SD(hk_data,hk_block_number);
        hk_block_number++;
        printf("\n\r sd card hk data\r\n");
        for(int i=0;i<512;i++)
        {
            hk_main.printf("%d|",hk_data[i]);
        }
       // FCTN_CDMS_HK_MAIN();
       FCTN_POWER_MODE(80);          //to check dummy power algo 
    }
    hk_main.printf("\n\r hk exited\n");
}