From 8fa7ba9a8d837a51ea7306543daa6b77f5a6fb5c Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Fri, 5 May 2017 07:53:12 +0000
Subject: [PATCH] Add missing wait for GPIO ready.

---
 src/main.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main.rs b/src/main.rs
index 90cc9e1..03641fc 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -93,6 +93,7 @@ fn main() {
         while !sysctl.prgpio.read().r5().bit() {}
         while !sysctl.prgpio.read().r6().bit() {}
         while !sysctl.prgpio.read().r9().bit() {}
+        while !sysctl.prgpio.read().r13().bit() {}
 
         // Set up LEDs
         let gpio_k = tm4c129x::GPIO_PORTK.borrow(cs);