diff --git a/include/drivers/arm/system_timer.h b/include/drivers/arm/system_timer.h
index 8cd0c8e..3bb5dfa 100644
--- a/include/drivers/arm/system_timer.h
+++ b/include/drivers/arm/system_timer.h
@@ -7,6 +7,8 @@
 #ifndef __SYSTEM_TIMER_H__
 #define __SYSTEM_TIMER_H__
 
+#include <stdint.h>
+
 /*
  * Program systimer to fire an interrupt after time_out_ms
  *