From 52eaf753b679568d15f4cf3c97040c2e807d1a3b Mon Sep 17 00:00:00 2001 From: David Given Date: Sat, 20 Aug 2016 14:03:19 +0200 Subject: [PATCH] rpi has a time() function; don't try to call gettimeofday(). --- plat/rpi/include/ack/config.h | 5 +++++ 1 file changed, 5 insertions(+) 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 -- 2.34.1