time base init

generates an ISR at 12kHz, toggling the LED
working and tested