+#include <cpu/irq.h>
+#include <drv/timer.h>
+#include "io/lm3s.h"
+
+static void led_init(void)
+{
+ /* Enable the GPIO port that is used for the on-board LED */
+ SYSCTL_RCGC2_R = SYSCTL_RCGC2_GPIOG;
+ /*
+ * Perform a dummy read to insert a few cycles delay before enabling
+ * the peripheral.
+ */
+ (void)SYSCTL_RCGC2_R;
+ /* Enable the GPIO pin for the LED */
+ GPIO_PORTG_DIR_R = 0x04;
+ GPIO_PORTG_DEN_R = 0x04;
+}
+
+static void led_on(void)
+{
+ GPIO_PORTG_DATA_R |= 0x04;
+}