+ timer_hw_init();
+
+ /* 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;