1 files changed, 38 insertions, 38 deletions

diff --git a/bsp/lm4f232/drivers/board.c b/bsp/lm4f232/drivers/board.c
index 1e4b53f110..84f74aebfe 100644
--- a/bsp/lm4f232/drivers/board.c
+++ b/bsp/lm4f232/drivers/board.c
@@ -41,14 +41,14 @@ extern void rt_hw_interrupt_thread_switch(void);
  */
 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();
 }
 
 /**
@@ -76,60 +76,60 @@ void rt_hw_eth_handler(void)
  */
 void rt_hw_board_init()
 {
-	
+
     //
     // Enable lazy stacking for interrupt handlers.  This allows floating-point
     // instructions to be used within interrupt handlers, but at the expense of
     // extra stack usage.
     //
     FPULazyStackingEnable();
-    
-	// set sysclock to 80M
+
+    // set sysclock to 80M
     SysCtlClockSet(SYSCTL_SYSDIV_2_5 | SYSCTL_USE_PLL | SYSCTL_OSC_MAIN | SYSCTL_XTAL_16MHZ);
 
-	/* 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);
 
 #if LM3S_EXT_SRAM == 1
-	/* init SDRAM */
-	rt_hw_sdram_init();
+    /* init SDRAM */
+    rt_hw_sdram_init();
 #endif
-	/* 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);
 }
 
 /**
@@ -139,10 +139,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++);
+    }
 }
 
 /*@}*/