diff --git a/src/kernel/core/arch/x86/arch_real_time_clock.c b/src/kernel/core/arch/x86/arch_real_time_clock.c
index e618ff911a..601c20513b 100644
--- a/src/kernel/core/arch/x86/arch_real_time_clock.c
+++ b/src/kernel/core/arch/x86/arch_real_time_clock.c
@@ -9,6 +9,8 @@
 #include <arch/real_time_clock.h>
 #include <arch/cpu.h>
 
+#include <real_time_data.h>
+
 
 #define CMOS_ADDR_PORT 0x70
 #define CMOS_DATA_PORT 0x71