Periféricosgpio-configgpio-config // Initialize GPIO for an LEDHAL_GPIO_WritePin(LED_GPIO_Port, LED_Pin, GPIO_PIN_SET);