static void pinmux_init(void)
{
// KEY
pinmux_config(PIN_WAKEUP_0, PINMUX_GPIO_MODE_CFG);
pinmux_config(PIN_WAKEUP_1, PINMUX_GPIO_MODE_CFG);
pmu_pin_mode_set(pin_wakeup_mask, PMU_PIN_MODE_PD);
// UART0
pinmux_config(PIN_UART0_TX, PINMUX_UART0_SDA_O_CFG);
pinmux_config(PIN_UART0_RX, PINMUX_UART0_SDA_I_CFG);
pmu_pin_mode_set(BITMASK(PIN_UART0_TX), PMU_PIN_MODE_PP);
pmu_pin_mode_set(BITMASK(PIN_UART0_RX), PMU_PIN_MODE_PU);
// UART1
pinmux_config(PIN_UART1_TX, PINMUX_UART1_SDA_O_CFG);
pinmux_config(PIN_UART1_RX, PINMUX_UART1_SDA_I_CFG);
pmu_pin_mode_set(BITMASK(PIN_UART1_TX), PMU_PIN_MODE_PP);
pmu_pin_mode_set(BITMASK(PIN_UART1_RX), PMU_PIN_MODE_PU);
// LEDS
pinmux_config(PIN_LED_0, PINMUX_GPIO_MODE_CFG);
pinmux_config(PIN_LED_1, PINMUX_GPIO_MODE_CFG);
pinmux_config(PIN_LED_2, PINMUX_GPIO_MODE_CFG);
pinmux_config(PIN_LED_3, PINMUX_GPIO_MODE_CFG);
pinmux_config(PIN_LED_4, PINMUX_GPIO_MODE_CFG);
pinmux_config(PIN_LED_5, PINMUX_GPIO_MODE_CFG);
pinmux_config(PIN_LED_6, PINMUX_GPIO_MODE_CFG);
pinmux_config(PIN_LED_7, PINMUX_GPIO_MODE_CFG);
pmu_pin_mode_set(pin_leds_mask, PMU_PIN_MODE_PP);
}