diff --git a/common/include/villas/tsc.hpp b/common/include/villas/tsc.hpp
index a647c42bc..cfe9e1499 100644
--- a/common/include/villas/tsc.hpp
+++ b/common/include/villas/tsc.hpp
@@ -31,11 +31,6 @@
 #include <cinttypes>
 #include <x86intrin.h>
 
-#ifdef __APPLE__
-  #include <sys/types.h>
-  #include <sys/sysctl.h>
-#endif
-
 #include <villas/kernel/kernel.hpp>
 
 #ifndef bit_TSC
diff --git a/common/lib/kernel/kernel.cpp b/common/lib/kernel/kernel.cpp
index 72fffecc1..bbcfdef22 100644
--- a/common/lib/kernel/kernel.cpp
+++ b/common/lib/kernel/kernel.cpp
@@ -81,7 +81,7 @@ int villas::kernel::getCachelineSize()
 #endif
 }
 
-#if defined(__linux__) || defined(__APPLE__)
+#if defined(__linux__)
 int villas::kernel::getPageSize()
 {
 	return sysconf(_SC_PAGESIZE);
diff --git a/common/lib/tsc.cpp b/common/lib/tsc.cpp
index a435f5325..6dcadd949 100644
--- a/common/lib/tsc.cpp
+++ b/common/lib/tsc.cpp
@@ -55,18 +55,6 @@ int tsc_init(struct Tsc *t)
 		ret = kernel::get_cpu_frequency(&t->frequency);
 		if (ret)
 			return ret;
-#elif defined(__APPLE__)
-		int64_t frequency;
-		size_t lenp = sizeof(frequency);
-
-		/** @todo machdep.tsc.frequency seems to be a measured frequency (based on local APIC?
-		 *         We should figure out which frequency is more accurate */
-//		ret = sysctlbyname("hw.cpufrequency", &frequency, &lenp, nullptr, 0);
-		ret = sysctlbyname("machdep.tsc.frequency", &frequency, &lenp, nullptr, 0);
-		if (ret)
-			return ret;
-
-		t->frequency = frequency;
 #endif
 	}