[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tyndur-devel] [PATCH] kernel2: stdint.h in kernel.h einbinden

! kernel2: kernel.h benutzt uint64_t, also muss sie stdint.h einbinden

Signed-off-by: Kevin Wolf <kevin@xxxxxxxxxx>
---
 src/kernel2/include/kernel.h |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/src/kernel2/include/kernel.h b/src/kernel2/include/kernel.h
index 646ecb5..ae82d88 100644
--- a/src/kernel2/include/kernel.h
+++ b/src/kernel2/include/kernel.h
@@ -36,6 +36,8 @@
 #ifndef _KERNEL_H_
 #define _KERNEL_H_
 
+#include <stdint.h>
+
 extern uint64_t timer_ticks;
 
 __attribute__((noreturn)) void panic(char* message, ...);
-- 
1.6.0.2