diff --git a/plat/rpi/include/ack/config.h b/plat/rpi/include/ack/config.h
index fd2c48cba..995673236 100644
--- a/plat/rpi/include/ack/config.h
+++ b/plat/rpi/include/ack/config.h
@@ -8,4 +8,9 @@
 #ifndef _ACK_CONFIG_H
 #define _ACK_CONFIG_H
 
+/* We're providing a time() system call rather than wanting a wrapper around
+ * gettimeofday() in the libc. */
+ 
+#define ACKCONF_TIME_IS_A_SYSCALL
+
 #endif