diff --git a/src/led.c b/src/led.c
index 06a3656..5743402 100644
--- a/src/led.c
+++ b/src/led.c
@@ -22,6 +22,9 @@ led_init(void)
     if (!CONFIG_ENABLE_LED)
         return;
     led = gpio_out_setup(led_gpio, led_gpio_high);
+    // The short delay is simply to ensure that the Debug Timer is
+    // enabled
+    udelay(10);
     last_blink_time = timer_read_time();
 }