From 3671b737d99d8ea8d1a72d7744d908991102b07f Mon Sep 17 00:00:00 2001
From: Fred <frederik.saraci@gmail.com>
Date: Fri, 23 Oct 2020 10:24:23 +0200
Subject: [PATCH] Fix gcc printf warning

---
 platform/mcu/x86_64/drivers/delays.c | 1 +
 platform/mcu/x86_64/drivers/gpio.c   | 1 +
 platform/targets/linux/platform.c    | 1 +
 3 files changed, 3 insertions(+)

diff --git a/platform/mcu/x86_64/drivers/delays.c b/platform/mcu/x86_64/drivers/delays.c
index 4949e6fb..2fa636b5 100644
--- a/platform/mcu/x86_64/drivers/delays.c
+++ b/platform/mcu/x86_64/drivers/delays.c
@@ -17,6 +17,7 @@
 
 #include "delays.h"
 #include <unistd.h>
+#include <stdio.h>
 
 /**
  * Implementation of the delay functions for x86_64.
diff --git a/platform/mcu/x86_64/drivers/gpio.c b/platform/mcu/x86_64/drivers/gpio.c
index cb1c578b..95312999 100644
--- a/platform/mcu/x86_64/drivers/gpio.c
+++ b/platform/mcu/x86_64/drivers/gpio.c
@@ -16,6 +16,7 @@
  ***************************************************************************/
 
 #include "gpio.h"
+#include <stdio.h>
 
 void gpio_setMode(void *port, uint8_t pin, enum Mode mode)
 {
diff --git a/platform/targets/linux/platform.c b/platform/targets/linux/platform.c
index 7f8ad736..7062a71a 100644
--- a/platform/targets/linux/platform.c
+++ b/platform/targets/linux/platform.c
@@ -17,6 +17,7 @@
 
 #include "platform.h"
 #include "gpio.h"
+#include <stdio.h>
 
 void platform_init()
 {