diff --git a/src/kernel/libroot/os/time.c b/src/kernel/libroot/os/time.c
index cd8e643548..8868854385 100644
--- a/src/kernel/libroot/os/time.c
+++ b/src/kernel/libroot/os/time.c
@@ -17,7 +17,7 @@ real_time_clock(void)
 
 
 void
-set_real_time_clock(int32 secs)
+set_real_time_clock(uint32 secs)
 {
 	// ToDo: set_real_time_clock()
 }