46 #define BOARD_NAME "FRDM-K64F"    49 #define BOARD_DEBUG_UART_TYPE DEBUG_CONSOLE_DEVICE_TYPE_UART    50 #define BOARD_DEBUG_UART_BASEADDR (uint32_t) UART0    51 #define BOARD_DEBUG_UART_CLKSRC SYS_CLK    52 #define BOARD_DEBUG_UART_CLK_FREQ CLOCK_GetCoreSysClkFreq()    53 #define BOARD_UART_IRQ UART0_RX_TX_IRQn    54 #define BOARD_UART_IRQ_HANDLER UART0_RX_TX_IRQHandler    56 #ifndef BOARD_DEBUG_UART_BAUDRATE    57 #define BOARD_DEBUG_UART_BAUDRATE 115200    61 #define BOARD_SW2_GPIO GPIOC    62 #define BOARD_SW2_PORT PORTC    63 #define BOARD_SW2_GPIO_PIN 6U    64 #define BOARD_SW2_IRQ PORTC_IRQn    65 #define BOARD_SW2_IRQ_HANDLER PORTC_IRQHandler    66 #define BOARD_SW2_NAME "SW2"    68 #define BOARD_SW3_GPIO GPIOA    69 #define BOARD_SW3_PORT PORTA    70 #define BOARD_SW3_GPIO_PIN 4U    71 #define BOARD_SW3_IRQ PORTA_IRQn    72 #define BOARD_SW3_IRQ_HANDLER PORTA_IRQHandler    73 #define BOARD_SW3_NAME "SW3"    75 #define LLWU_SW_GPIO BOARD_SW2_GPIO    76 #define LLWU_SW_PORT BOARD_SW2_PORT    77 #define LLWU_SW_GPIO_PIN BOARD_SW2_GPIO_PIN    78 #define LLWU_SW_IRQ BOARD_SW2_IRQ    79 #define LLWU_SW_IRQ_HANDLER BOARD_SW2_IRQ_HANDLER    80 #define LLWU_SW_NAME BOARD_SW2_NAME    83 #define LOGIC_LED_ON 0U    84 #define LOGIC_LED_OFF 1U    85 #define BOARD_LED_RED_GPIO GPIOB    86 #define BOARD_LED_RED_GPIO_PORT PORTB    87 #define BOARD_LED_RED_GPIO_PIN 22U    88 #define BOARD_LED_GREEN_GPIO GPIOE    89 #define BOARD_LED_GREEN_GPIO_PORT PORTE    90 #define BOARD_LED_GREEN_GPIO_PIN 26U    91 #define BOARD_LED_BLUE_GPIO GPIOB    92 #define BOARD_LED_BLUE_GPIO_PORT PORTB    93 #define BOARD_LED_BLUE_GPIO_PIN 21U    95 #define LED_RED_INIT(output)                                                 \    96     GPIO_WritePinOutput(BOARD_LED_RED_GPIO, BOARD_LED_RED_GPIO_PIN, output); \    97     BOARD_LED_RED_GPIO->PDDR |= (1U << BOARD_LED_RED_GPIO_PIN)     98 #define LED_RED_ON() \    99     GPIO_ClearPinsOutput(BOARD_LED_RED_GPIO, 1U << BOARD_LED_RED_GPIO_PIN)    100 #define LED_RED_OFF() \   101     GPIO_SetPinsOutput(BOARD_LED_RED_GPIO, 1U << BOARD_LED_RED_GPIO_PIN)    102 #define LED_RED_TOGGLE() \   103     GPIO_TogglePinsOutput(BOARD_LED_RED_GPIO, 1U << BOARD_LED_RED_GPIO_PIN)    105 #define LED_GREEN_INIT(output)                                                   \   106     GPIO_WritePinOutput(BOARD_LED_GREEN_GPIO, BOARD_LED_GREEN_GPIO_PIN, output); \   107     BOARD_LED_GREEN_GPIO->PDDR |= (1U << BOARD_LED_GREEN_GPIO_PIN)    108 #define LED_GREEN_ON() \   109     GPIO_ClearPinsOutput(BOARD_LED_GREEN_GPIO, 1U << BOARD_LED_GREEN_GPIO_PIN)    110 #define LED_GREEN_OFF() \   111     GPIO_SetPinsOutput(BOARD_LED_GREEN_GPIO, 1U << BOARD_LED_GREEN_GPIO_PIN)    112 #define LED_GREEN_TOGGLE() \   113     GPIO_TogglePinsOutput(BOARD_LED_GREEN_GPIO, 1U << BOARD_LED_GREEN_GPIO_PIN)    115 #define LED_BLUE_INIT(output)                                                  \   116     GPIO_WritePinOutput(BOARD_LED_BLUE_GPIO, BOARD_LED_BLUE_GPIO_PIN, output); \   117     BOARD_LED_BLUE_GPIO->PDDR |= (1U << BOARD_LED_BLUE_GPIO_PIN)    118 #define LED_BLUE_ON() \   119     GPIO_ClearPinsOutput(BOARD_LED_BLUE_GPIO, 1U << BOARD_LED_BLUE_GPIO_PIN)    120 #define LED_BLUE_OFF() \   121     GPIO_SetPinsOutput(BOARD_LED_BLUE_GPIO, 1U << BOARD_LED_BLUE_GPIO_PIN)    122 #define LED_BLUE_TOGGLE() \   123     GPIO_TogglePinsOutput(BOARD_LED_BLUE_GPIO, 1U << BOARD_LED_BLUE_GPIO_PIN)    126 #define BOARD_SDHC_CD_GPIO_IRQ_HANDLER PORTB_IRQHandler   129 #define BOARD_SDHC_BASEADDR SDHC   130 #define BOARD_SDHC_CLKSRC kCLOCK_CoreSysClk   131 #define BOARD_SDHC_CLK_FREQ CLOCK_GetFreq(kCLOCK_CoreSysClk)   132 #define BOARD_SDHC_IRQ SDHC_IRQn   133 #define BOARD_SDHC_CD_GPIO_BASE GPIOE   134 #define BOARD_SDHC_CD_GPIO_PIN 6U   135 #define BOARD_SDHC_CD_PORT_BASE PORTE   136 #define BOARD_SDHC_CD_PORT_IRQ PORTE_IRQn   137 #define BOARD_SDHC_CD_PORT_IRQ_HANDLER PORTE_IRQHandler   138 #define BOARD_SDHC_CD_LOGIC_RISING   140 #define BOARD_ACCEL_I2C_BASEADDR I2C0   143 #define ERPC_BOARD_DSPI_BASEADDR SPI0   144 #define ERPC_BOARD_DSPI_BAUDRATE 500000U   145 #define ERPC_BOARD_DSPI_CLKSRC DSPI0_CLK_SRC   146 #define ERPC_BOARD_DSPI_CLK_FREQ CLOCK_GetFreq(DSPI0_CLK_SRC)   147 #define ERPC_BOARD_DSPI_INT_GPIO GPIOB   148 #define ERPC_BOARD_DSPI_INT_PORT PORTB   149 #define ERPC_BOARD_DSPI_INT_PIN 2U   150 #define ERPC_BOARD_DSPI_INT_PIN_IRQ PORTB_IRQn   151 #define ERPC_BOARD_DSPI_INT_PIN_IRQ_HANDLER PORTB_IRQHandler   154 #define BOARD_DAC_BASEADDR DAC0   157 #define BOARD_ACCEL_FXOS   159 #if defined(__cplusplus)   168 #if defined(__cplusplus) 
void BOARD_InitDebugConsole(void)