diff --git a/hermit/.gitignore b/hermit/.gitignore
index 8d8badc24..485c05a72 100644
--- a/hermit/.gitignore
+++ b/hermit/.gitignore
@@ -14,6 +14,7 @@ include/hermit/config.inc
 tools/*.img
 tools/*_proxy
 tools/make_initrd
+tools/*iso
 usr/tests/hello
 usr/tests/hello++
 usr/tests/hellof