1 files changed, 41 insertions, 41 deletions

diff --git a/bsp/lm3s8962/drivers/board.c b/bsp/lm3s8962/drivers/board.c
index f7a75b0809..ca7e7d7818 100644
--- a/bsp/lm3s8962/drivers/board.c
+++ b/bsp/lm3s8962/drivers/board.c
@@ -37,23 +37,23 @@ static void rt_hw_console_init(void);
 extern void rt_hw_interrupt_thread_switch(void);
 /**
  * This is the timer interrupt service routine.
- * 
+ *
  */
 void rt_hw_timer_handler(void)
 {
-	/* enter interrupt */
-	rt_interrupt_enter();
+    /* enter interrupt */
+    rt_interrupt_enter();
+
+    rt_tick_increase();
 
-	rt_tick_increase();
-	
-	/* leave interrupt */
-	rt_interrupt_leave();
-	rt_hw_interrupt_thread_switch();
+    /* leave interrupt */
+    rt_interrupt_leave();
+    rt_hw_interrupt_thread_switch();
 }
 
 /**
  * This is the ethernet interrupt service routine.
- * 
+ *
  */
 void rt_hw_eth_handler(void)
 {
@@ -76,51 +76,51 @@ void rt_hw_eth_handler(void)
  */
 void rt_hw_board_init()
 {
-	/* set ldo */
-	SysCtlLDOSet(SYSCTL_LDO_2_50V);
-	/* set clock */
-	SysCtlClockSet(SYSCTL_SYSDIV_4 | SYSCTL_USE_PLL | SYSCTL_OSC_MAIN |
+    /* set ldo */
+    SysCtlLDOSet(SYSCTL_LDO_2_50V);
+    /* set clock */
+    SysCtlClockSet(SYSCTL_SYSDIV_4 | SYSCTL_USE_PLL | SYSCTL_OSC_MAIN |
                    LM3S_XTAL_TYPE);
 
-	/* init systick */
-	SysTickDisable();
-	SysTickPeriodSet(SysCtlClockGet()/RT_TICK_PER_SECOND);
-	SysTickIntEnable();
-	SysTickEnable();
+    /* init systick */
+    SysTickDisable();
+    SysTickPeriodSet(SysCtlClockGet()/RT_TICK_PER_SECOND);
+    SysTickIntEnable();
+    SysTickEnable();
+
+    /* enable ssio */
+    SysCtlPeripheralEnable(SYSCTL_PERIPH_SSI0);
 
-	/* enable ssio */
-	SysCtlPeripheralEnable(SYSCTL_PERIPH_SSI0);
-	
-	/* init console */
-	rt_hw_console_init();
+    /* init console */
+    rt_hw_console_init();
 
-	/* enable interrupt */
-	IntMasterEnable();
+    /* enable interrupt */
+    IntMasterEnable();
 }
 
 /* init console to support rt_kprintf */
 static void rt_hw_console_init()
 {
-	/* Enable the UART0 peripherals */
-	SysCtlPeripheralEnable(SYSCTL_PERIPH_UART0);
-	SysCtlPeripheralEnable(SYSCTL_PERIPH_GPIOA);
+    /* Enable the UART0 peripherals */
+    SysCtlPeripheralEnable(SYSCTL_PERIPH_UART0);
+    SysCtlPeripheralEnable(SYSCTL_PERIPH_GPIOA);
 
-	/* Set GPIO A0 and A1 as UART pins. */
-	GPIOPinTypeUART(GPIO_PORTA_BASE, GPIO_PIN_0 | GPIO_PIN_1);
+    /* Set GPIO A0 and A1 as UART pins. */
+    GPIOPinTypeUART(GPIO_PORTA_BASE, GPIO_PIN_0 | GPIO_PIN_1);
 
-	/* Configure the UART for 115,200, 8-N-1 operation. */
-	UARTConfigSetExpClk(UART0_BASE, SysCtlClockGet(), 115200,
-	                    (UART_CONFIG_WLEN_8 | UART_CONFIG_STOP_ONE |
-	                     UART_CONFIG_PAR_NONE));
+    /* Configure the UART for 115,200, 8-N-1 operation. */
+    UARTConfigSetExpClk(UART0_BASE, SysCtlClockGet(), 115200,
+                        (UART_CONFIG_WLEN_8 | UART_CONFIG_STOP_ONE |
+                         UART_CONFIG_PAR_NONE));
 }
 
 /* write one character to serial, must not trigger interrupt */
 static void rt_hw_console_putc(const char c)
 {
-	if (c == '\n')
-		while(UARTCharPutNonBlocking(UART0_BASE, '\r') == false);
+    if (c == '\n')
+        while(UARTCharPutNonBlocking(UART0_BASE, '\r') == false);
 
-	while(UARTCharPutNonBlocking(UART0_BASE, c) == false);
+    while(UARTCharPutNonBlocking(UART0_BASE, c) == false);
 }
 
 /**
@@ -130,10 +130,10 @@ static void rt_hw_console_putc(const char c)
  */
 void rt_hw_console_output(const char* str)
 {
-	while (*str)
-	{
-		rt_hw_console_putc (*str++);
-	}
+    while (*str)
+    {
+        rt_hw_console_putc (*str++);
+    }
 }
 
 /*@}*/