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);