diff --git a/src/tests/kernel/arith.cpp b/src/tests/kernel/arith.cpp
index 10981b7da4..cf658852fd 100644
--- a/src/tests/kernel/arith.cpp
+++ b/src/tests/kernel/arith.cpp
@@ -83,10 +83,13 @@ static void tst6() {
     std::cout << "tst6\n";
     std::cout << mk_int_add_fn().raw() << "\n";
     std::cout << mk_int_add_fn().raw() << "\n";
+
+    #ifndef __APPLE__
     std::thread t1([](){ std::cout << "t1: " << mk_int_add_fn().raw() << "\n"; });
     t1.join();
     std::thread t2([](){ std::cout << "t2: " << mk_int_add_fn().raw() << "\n"; });
     t2.join();
+    #endif
     std::cout << mk_int_add_fn().raw() << "\n";
 }
 
diff --git a/src/tests/kernel/threads.cpp b/src/tests/kernel/threads.cpp
index 12a8674d4c..7f6466b9bf 100644
--- a/src/tests/kernel/threads.cpp
+++ b/src/tests/kernel/threads.cpp
@@ -48,6 +48,7 @@ static void tst1() {
     a = f(a, a);
     std::vector<std::thread> ts;
 
+    #ifndef __APPLE__
     for (unsigned i = 0; i < 8; i++) {
         ts.push_back(std::thread([&](){ mk(a); }));
     }
@@ -55,6 +56,7 @@ static void tst1() {
         ts[i].join();
         std::cout << "finished " << i << "\n";
     }
+    #endif
 }
 
 int main() {