From b4e6b96a19da4bd422d73edd7f7d79c3c63c8d58 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Fri, 14 Mar 2025 17:22:18 +0100
Subject: [PATCH] libc: implement _SC_CLK_TCK

Return the same value that is used in FreeBSD.

Issue #5507.
---
 repos/libports/src/lib/libc/sysctl.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/repos/libports/src/lib/libc/sysctl.cc b/repos/libports/src/lib/libc/sysctl.cc
index 97df7acdbc..872d64828a 100644
--- a/repos/libports/src/lib/libc/sysctl.cc
+++ b/repos/libports/src/lib/libc/sysctl.cc
@@ -33,7 +33,7 @@
 
 using namespace Libc;
 
-enum { PAGESIZE = 4096 };
+enum { PAGESIZE = 4096, STATHZ = 128, };
 
 
 static Genode::Env *_global_env;
@@ -49,6 +49,7 @@ extern "C" long sysconf(int name)
 {
 	switch (name) {
 	case _SC_CHILD_MAX:        return CHILD_MAX;
+	case _SC_CLK_TCK:          return STATHZ;
 	case _SC_OPEN_MAX:         return getdtablesize();
 	case _SC_PAGESIZE:         return PAGESIZE;
 	case _SC_PHYS_PAGES: