From 1da3bd796318c2a3795b8199acd52939db8c62f5 Mon Sep 17 00:00:00 2001
From: Brian Swetland <swetland@frotz.net>
Date: Thu, 30 Jul 2015 19:57:26 -0700
Subject: [PATCH] [platform][lpc43xx] yield during dgetc

---
 platform/lpc43xx/debug.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/platform/lpc43xx/debug.c b/platform/lpc43xx/debug.c
index e3ccbf98..26f5fb4f 100644
--- a/platform/lpc43xx/debug.c
+++ b/platform/lpc43xx/debug.c
@@ -23,6 +23,7 @@
 
 #include <debug.h>
 #include <reg.h>
+#include <kernel/thread.h>
 
 #include <platform/lpc43xx-uart.h>
 #include <platform/lpc43xx-clocks.h>
@@ -105,13 +106,16 @@ int platform_dgetc(char *c, bool wait)
 		if (!wait) {
 			return -1;
 		}
+		thread_yield();
 	}
 
 	*c = readl(UART_BASE + REG_RBR);
 	return 0;
 #else
 	if (wait) {
-		for (;;) ;
+		for (;;) {
+			thread_yield();
+		}
 	}
 	return -1;
 #endif