Set GPIO13 pin as GPIO output

[kishan patel]

Hello,
I want to use GPIO13 pin as an output pin,i have configure as an output but its not working.Please,check what i configure as below and tell me what should i make changes:

gpio_set_direction(GPIO_NUM_13, GPIO_MODE_OUTPUT);

To high:
gpio_set_level(GPIO_NUM_13, 1);

To low:
gpio_set_level(GPIO_NUM_13, 0);


Thanks in advance,
Regards,
Kishan Patel.

[WiFive]

PIN_FUNC_SELECT( IO_MUX_GPIO13_REG, PIN_FUNC_GPIO)