From ff8308d36be7442596ff20d12ea5071dafebbf01 Mon Sep 17 00:00:00 2001
From: Maschell <Maschell@gmx.de>
Date: Sat, 9 Jan 2021 14:00:23 +0100
Subject: [PATCH] Use stdint.h instead of cstdint

---
 include/kernel/kernel.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/kernel/kernel.h b/include/kernel/kernel.h
index 0684f3c..0332da5 100644
--- a/include/kernel/kernel.h
+++ b/include/kernel/kernel.h
@@ -7,7 +7,7 @@ extern "C"
 {
 #endif
 
-#include <cstdint>
+#include <stdint.h>
 
 extern void KernelReadSRs(sr_table_t* table);
 extern void KernelWriteSRs(sr_table_t* table);