diff --git a/mypy.ini b/mypy.ini
new file mode 100644
index 00000000..a20fbe73
--- /dev/null
+++ b/mypy.ini
@@ -0,0 +1,2 @@
+[mypy]
+mypy_path=p-isa_tools/kerngen