printf(" Timer0: Clock source is 12 MHz; Toggle-output mode and frequency is 500 Hz.\n");
printf(" Timer3: Clock source is 12 MHz; Toggle-output mode and frequency is 1 Hz.\n");
printf(" Timer2: Clock source is HCLK(72 MHz); Continuous counting mode; TCMP is 0xFFFFFF;\n");
printf(" Counter pin enable; Capture pin and capture interrupt enable;\n");
printf("# Generate 500 Hz frequency from TM0 and connect TM0 pin to Timer2 counter pin.\n");
printf("# Generate 1 Hz frequency from TM3 and connect TM3 pin to TM2_EXT capture pin.\n");
printf("# Get 500 event counts from Timer2 counter pin when each TM2_EXT pin interrupt occurred.\n\n");