1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * (C) Copyright 2015
4  * Kamil Lulko, <kamil.lulko@gmail.com>
5  */
6 
7 #include <common.h>
8 #include <asm-generic/gpio.h>
9 
10 void coloured_LED_init(void)
11 {
12 	gpio_direction_output(CONFIG_RED_LED, 0);
13 	gpio_direction_output(CONFIG_GREEN_LED, 0);
14 }
15 
16 void red_led_off(void)
17 {
18 	gpio_set_value(CONFIG_RED_LED, 0);
19 }
20 
21 void green_led_off(void)
22 {
23 	gpio_set_value(CONFIG_GREEN_LED, 0);
24 }
25 
26 void red_led_on(void)
27 {
28 	gpio_set_value(CONFIG_RED_LED, 1);
29 }
30 
31 void green_led_on(void)
32 {
33 	gpio_set_value(CONFIG_GREEN_LED, 1);
34 }
35