diff --git a/libports/src/lib/libc/clock_gettime.cc b/libports/src/lib/libc/clock_gettime.cc
index 3c60f4273..11d7b78a4 100644
--- a/libports/src/lib/libc/clock_gettime.cc
+++ b/libports/src/lib/libc/clock_gettime.cc
@@ -16,7 +16,8 @@
 
 #include <sys/time.h>
 
-extern "C" int clock_gettime(clockid_t clk_id, struct timespec *tp)
+extern "C" __attribute__((weak))
+int clock_gettime(clockid_t clk_id, struct timespec *tp)
 {
 	if (clk_id != CLOCK_MONOTONIC)
 		PWRN("Unsupported clk_id, using CLOCK_MONOTONIC instead.");
diff --git a/libports/src/lib/libc/gettimeofday.cc b/libports/src/lib/libc/gettimeofday.cc
index 3e509b960..2316f6e16 100644
--- a/libports/src/lib/libc/gettimeofday.cc
+++ b/libports/src/lib/libc/gettimeofday.cc
@@ -15,7 +15,8 @@
 
 #include <sys/time.h>
 
-extern "C" int gettimeofday(struct timeval *tv, struct timezone *tz)
+extern "C" __attribute__((weak))
+int gettimeofday(struct timeval *tv, struct timezone *tz)
 {
 	Genode::Alarm::Time time = Genode::Timeout_thread::alarm_timer()->time();