/* This function will init led on the board  */
static void rt_hw_board_led_init(void)
/* This function will init led on the board  */
static void rt_hw_board_led_init(void)
{
  *(RP)GPIO_PORTE_SEL |=0x38;
  *(RP)GPIO_PORTE_DIR &= ~0x38;
  *(RP)GPIO_PORTE_DATA &= ~0x38;
}