From bddbbcf703b536b0961c7503fb956c3f446a368d Mon Sep 17 00:00:00 2001
From: Qijia Yang <2421653893@qq.com>
Date: Wed, 19 Nov 2025 19:40:23 +0800
Subject: [PATCH] Add verilatedos includes to Bazel build file

---
 dependency_support/verilator/verilator.BUILD.bazel | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/dependency_support/verilator/verilator.BUILD.bazel b/dependency_support/verilator/verilator.BUILD.bazel
index 18242e64..4ced7f3f 100644
--- a/dependency_support/verilator/verilator.BUILD.bazel
+++ b/dependency_support/verilator/verilator.BUILD.bazel
@@ -313,6 +313,9 @@ cc_library(
         "include/verilated_vcd_c.h",
         "include/verilated_vpi.h",
         "include/verilated.h",
+        # Needed for verilatedos
+        "include/verilatedos.h",
+        "include/verilatedos_c.h",
     ],
     # TODO: Remove these once upstream fixes these warnings
     copts = [