2018-05-06 21:58:06 +00:00
|
|
|
// SPDX-License-Identifier: GPL-2.0+
|
2008-03-26 17:52:33 +00:00
|
|
|
/*
|
|
|
|
* (C) Copyright 2007-2008
|
2011-10-31 23:00:39 +00:00
|
|
|
* Stelian Pop <stelian@popies.net>
|
2008-03-26 17:52:33 +00:00
|
|
|
* Lead Tech Design <www.leadtechdesign.com>
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <common.h>
|
2020-05-10 17:40:02 +00:00
|
|
|
#include <init.h>
|
2011-06-06 00:13:10 +00:00
|
|
|
#include <asm/io.h>
|
2008-03-26 17:52:33 +00:00
|
|
|
#include <asm/arch/gpio.h>
|
2014-10-08 20:57:53 +00:00
|
|
|
#include <status_led.h>
|
2008-03-26 17:52:33 +00:00
|
|
|
|
|
|
|
void coloured_LED_init(void)
|
|
|
|
{
|
2011-06-06 00:13:10 +00:00
|
|
|
/* Clock is enabled in board_early_init_f() */
|
2009-03-21 20:08:00 +00:00
|
|
|
at91_set_gpio_output(CONFIG_RED_LED, 1);
|
|
|
|
at91_set_gpio_output(CONFIG_GREEN_LED, 1);
|
2008-03-26 17:52:33 +00:00
|
|
|
|
2009-03-21 20:08:00 +00:00
|
|
|
at91_set_gpio_value(CONFIG_RED_LED, 0);
|
|
|
|
at91_set_gpio_value(CONFIG_GREEN_LED, 1);
|
2008-03-26 17:52:33 +00:00
|
|
|
}
|