rpi has a time() function; don't try to call gettimeofday().

2016-08-20 14:03:19 +02:00 · 2016-08-20 14:03:19 +02:00 · 52eaf753b6
parent f561b94b49
commit 52eaf753b6
1 changed files with 5 additions and 0 deletions
--- 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