/* This function will take the led on board on. */
void rt_hw_board_led_on(int n)
/* This function will take the led on board on. */
void rt_hw_board_led_on(int n)
{
	if (n >= 0 && n < 4)
	{
		AT91C_BASE_PIOB->PIO_CODR = leds[n];
	}
}