I think it would be nicer to use the gpio helper functions like ```gpio_setup_output(port, pin)``` and ```gpio_output_high(port, pin)``` instead of further misusing led...