diff --git a/ibex_core.core b/ibex_core.core
index b1eb137b..67dc410d 100644
--- a/ibex_core.core
+++ b/ibex_core.core
@@ -77,6 +77,7 @@ parameters:
 targets:
   default:
     filesets:
+      - tool_verilator ? (files_lint_verilator)
       - files_rtl
       - files_check_tool_requirements
   lint: