We are using the KL17Z128, KDS 3.1 and KSDK 1.2. We setup the PIT to generate 250 usec interrupt. We toggle a GPIO pin in the interrupt routine. The time between GPIO toggles is about 252.6 usec. To get an IRQ period closer to 250 usec we set the period to 248 usec in the PIT "Bean". Our CPU clock is set for 48MHZ, Bus clock is 24MHZ. Any ideas on what's going on?