#include "mbed.h"
#include "pinmap.h"


DigitalOut led1(LED_BLUE);



void setup_tpm(TPM_Type *obj)
{
   
    SIM->SCGC5 |= (1 << SIM_SCGC5_PORTE_SHIFT);  //PORTE clock gating ---- no need!
    SIM->SCGC6 |= (1 << SIM_SCGC6_TPM0_SHIFT);   // TPM0 clock gating
    
    
    SIM->SOPT2 |= SIM_SOPT2_TPMSRC(2); //OSCERCLK clock
        
    SIM->SOPT4 |= (1<<SIM_SOPT4_TPM0CLKSEL_SHIFT); //counter
    
    
    __IO uint32_t *aux = (__IO uint32_t *)TPM0_BASE;
    //TPM_Type *tpm = (TPM_Type *)(TPM0_BASE);

	//SC register
    //*aux= (1<<7) | TPM_SC_CMOD(1) | TPM_SC_PS(3); //works for internal clock!!!!
    *aux= (1<<7) | TPM_SC_CMOD(2) | TPM_SC_PS(0); //counter
    
    
    //CNT register
    *(aux+4)=1;
    
	//MOD register
    //*(aux+8)=30000u;
    *(aux+8)=10u; // counter
    
    
        

    // Wire pinout
    // __IO uint32_t *reg = (__IO uint32_t *)(FPTE_BASE);
    //*(reg+14)&=~(1<<29);
    pin_function(PTE29, 4);

    
    

    //pin_mode(PTE29, PullUp);
    led1=0;
    
    while(1)
     {
          
          if(*(aux) & TPM_SC_TOF_MASK)
          {
              led1=!led1;
              *(aux)|=TPM_SC_TOF_MASK;
          }
          //wait(1);  
          
   }
}

int main() {

    
    led1=1;
   
    

    setup_tpm(&aux);
    while (true) {
        
    }
}