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