From c39e3c5d705c413f01694a48b6a2e98f962f53d3 Mon Sep 17 00:00:00 2001
From: Sonja Kolen <skolen@eonerc.rwth-aachen.de>
Date: Wed, 22 Aug 2018 16:45:03 +0200
Subject: [PATCH] kernel: added missing include inttypes.h to compile; required
 for PRIu64 usage

---
 lib/kernel/kernel.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/kernel/kernel.c b/lib/kernel/kernel.c
index 0cd835157..aa9dacd19 100644
--- a/lib/kernel/kernel.c
+++ b/lib/kernel/kernel.c
@@ -25,6 +25,7 @@
 #include <time.h>
 #include <unistd.h>
 #include <fcntl.h>
+#include <inttypes.h>
 
 #include <sys/types.h>
 #include <sys/utsname.h>