From 8e988434c76fc553ac5d0461c9bfba163cb0bf51 Mon Sep 17 00:00:00 2001
From: Andreas Baumann <mail@andreasbaumann.cc>
Date: Mon, 1 May 2017 09:57:38 +0200
Subject: use stdint.h in standalone environment, not inttypes.h

---
 src/kernel.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/kernel.c b/src/kernel.c
index ecd9aca..8fbeb66 100644
--- a/src/kernel.c
+++ b/src/kernel.c
@@ -1,4 +1,4 @@
-#include <inttypes.h>
+#include <stdint.h>
 
 void entry( )
 {
-- 
cgit v1.2.3-54-g00ecf