+++ /dev/null
-void _mon_putc(char c);
-
-static void init_serial() {
- #ifdef MICROCHIP_PIC32
-#if defined (__32MZ2048ECH144__) || (__32MZ2048ECM144__)
- /* Set up PB2 divisor for UART2 */
- SYSKEY = 0x00000000;
- SYSKEY = 0xAA996655;
- SYSKEY = 0x556699AA;
- PB2DIV = 0x00008018;
- SYSKEY = 0x33333333;
-
- /* UART2 Init */
-// U2BRG = 0x0C;
- U2BRG = 0x7;
- ANSELBCLR = 0x4000;
- ANSELGCLR = 0x0040;
- RPB14R = 0x02;
- U2RXR = 0x01;
- U2MODE = 0x8000;
- U2STA = 0x400;
-#elif defined __PIC32MX__
- SYSTEMConfigPerformance(80000000);
- DBINIT();
-#endif
-
-#endif
-}