From 86c25d6e26040197fef9dad9e22be9a65a89dfe1 Mon Sep 17 00:00:00 2001
From: Silvano Seva <silseva@fastwebnet.it>
Date: Mon, 1 Feb 2021 11:25:45 +0100
Subject: [PATCH] Fixed missing include in 'keyboard_MDx.c'

---
 platform/drivers/keyboard/keyboard_MDx.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/platform/drivers/keyboard/keyboard_MDx.c b/platform/drivers/keyboard/keyboard_MDx.c
index 059ef539..cf7b70aa 100644
--- a/platform/drivers/keyboard/keyboard_MDx.c
+++ b/platform/drivers/keyboard/keyboard_MDx.c
@@ -23,6 +23,7 @@
 #include <interfaces/gpio.h>
 #include <interfaces/delays.h>
 #include <interfaces/keyboard.h>
+#include <interfaces/platform.h>
 #include "hwconfig.h"
 
 void kbd_init()
@@ -54,7 +55,8 @@ keyboard_t kbd_getKeys()
     /* Use absolute position knob to emulate left and right buttons */
     static uint8_t old_pos = 0;
     uint8_t new_pos = platform_getChSelector();
-    if (old_pos != new_pos) {
+    if (old_pos != new_pos)
+    {
         if (new_pos < old_pos)
             keys |= KEY_LEFT;
         else