From 80ea173390468e21e97c6e4f4d204df4dc758b31 Mon Sep 17 00:00:00 2001
From: Joel Bodenmann <jbo@insane.engineer>
Date: Tue, 20 May 2025 23:46:07 +0000
Subject: [PATCH] Add missing FreeBSD include (#6027) (#6028)

Fixes #6027
---
 docs/CONTRIBUTORS             | 1 +
 include/verilated_threads.cpp | 4 ++++
 2 files changed, 5 insertions(+)

diff --git a/docs/CONTRIBUTORS b/docs/CONTRIBUTORS
index 1ea98ae05..02759c300 100644
--- a/docs/CONTRIBUTORS
+++ b/docs/CONTRIBUTORS
@@ -106,6 +106,7 @@ Jiangjie Weng
 Jinyan Xu
 Jitesh Nayak
 Jiuyang Liu
+Joel Bodenmann
 Joey Liu
 John Coiner
 John Demme
diff --git a/include/verilated_threads.cpp b/include/verilated_threads.cpp
index 1d1f48796..63401aaa3 100644
--- a/include/verilated_threads.cpp
+++ b/include/verilated_threads.cpp
@@ -31,6 +31,10 @@
 #include <memory>
 #include <string>
 
+#ifdef __FreeBSD__
+    #include <pthread_np.h>
+#endif
+
 //=============================================================================
 // Globals