I am trying to change the pin state after every 2 seconds using a timer interrupt. The MCU is PIC32MX250F128B, it is set to run at 8 MHz, and Pb_Clk = Sys_Clk. I am using mi