diff --git a/bsp/abstract-machine/include/extra.h b/bsp/abstract-machine/include/extra.h
index b66a57f..37d64f8 100644
--- a/bsp/abstract-machine/include/extra.h
+++ b/bsp/abstract-machine/include/extra.h
@@ -31,4 +31,7 @@ typedef unsigned long useconds_t;
 #define chdir     rt_chdir
 #define setcwd    rt_setcwd
 #define getcwd    rt_getcwd
+
+#define gettimeofday rt_gettimeofday
+
 #endif