From 596893aa712b13e9cdf3965a62f3583d19e5c9be Mon Sep 17 00:00:00 2001
From: Romain Goyet <romain@goyet.com>
Date: Wed, 2 Sep 2015 19:08:41 +0200
Subject: [PATCH] [ION] ion_getchar isn't platform-specific

---
 ion/platform/stm32f429/init_kbd.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ion/platform/stm32f429/init_kbd.c b/ion/platform/stm32f429/init_kbd.c
index 87acb24b0..3966455da 100644
--- a/ion/platform/stm32f429/init_kbd.c
+++ b/ion/platform/stm32f429/init_kbd.c
@@ -142,6 +142,7 @@ char charFromKey[] = {
   ' ', // FX92_KEY_NONE = 0,
 };
 
+/*
 char ion_getchar() {
   char character = ' ';
   while (character == ' ') {
@@ -150,3 +151,4 @@ char ion_getchar() {
   }
   return character;
 }
+*/